Selected domains and lambda calculi - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Reports (Technical Report) Year : 1994

Selected domains and lambda calculi


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.


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

Dates and versions

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


  • HAL Id : inria-00070008 , version 1


Roberto M. Amadio, Pierre-Louis Curien. Selected domains and lambda calculi. [Technical Report] RT-0161, INRIA. 1994, pp.199. ⟨inria-00070008⟩
197 View
334 Download


Gmail Facebook Twitter LinkedIn More