inria-00070008, version 1

Selected domains and lambda calculi

Roberto M. Amadio ¹, Pierre-Louis Curien

N° RT-0161 (1994)

• 1 :  PROTHEO (INRIA Lorraine - LORIA)
• 
  INRIA – CNRS : UMR7503 – Université Henri Poincaré - Nancy I – Université Nancy II – Institut National Polytechnique de Lorraine (INPL) France

Références bibliographiques

• Type de publication : Rapports
• Domaine : Informatique/Autre
• Titre : Selected domains and lambda calculi
• Résumé : This monograph derives from the integration of lecture notes developed by the authors in the last three years. The topics considered include: simply typed lambda-calculus, PCF, categorical interpretations, domains of algebraic complete partial orders, adequacy results, partial orders, adequacy results, partial lambda-calculus, continuations, domain equations, dependent and second-order types, semantics of polymorphism, stability and realizability. As a course support we offer two appendices on recursion theory and category theory.
• Langue du document : Anglais
• Type de rapport : Rapport Technique
• Nombre de pages : 199
• Date de publication : 1994
• Date de rédaction : 03/1994
• Référence interne : RT-0161

Liste des fichiers attachés à ce document :

• inria-00070008, version 1
• http://hal.inria.fr/inria-00070008
• oai:hal.inria.fr:inria-00070008
• Contributeur : Rapport De Recherche Inria <>
• Soumis le : Vendredi 19 Mai 2006, 18:48:48
• Dernière modification le : Mercredi 21 Juin 2006, 09:33:37