Selected domains and lambda calculi - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Rapport (Rapport Technique) Année : 1994

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.

Domaines

Autre [cs.OH]
Fichier principal
Vignette du fichier
RT-0161.pdf (9.62 Mo) Télécharger le fichier

Dates et versions

inria-00070008 , version 1 (19-05-2006)

Identifiants

  • HAL Id : inria-00070008 , version 1

Citer

Roberto M. Amadio, Pierre-Louis Curien. Selected domains and lambda calculi. [Technical Report] RT-0161, INRIA. 1994, pp.199. ⟨inria-00070008⟩
220 Consultations
344 Téléchargements

Partager

Gmail Facebook X LinkedIn More