Selected domains and Lambda calculi
Roberto M. Amadio, Pierre-Louis Curien, 54 - Villers-les-Nancy (France). Unite de Recherche de Lorraine Institut National de Recherche en Informatique et en Automatique (INRIA) · OpenGrey (Institut de l'Information Scientifique et Technique) · 1994
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.