inria-00070008, version 1
Selected domains and lambda calculi
N° RT-0161 (1994)
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.
- 1 :
- INRIA – CNRS : UMR7503 – Université Henri Poincaré - Nancy I – Université Nancy II – Institut National Polytechnique de Lorraine (INPL)
- Domaine : Informatique/Autre
- Référence interne : RT-0161
- inria-00070008, version 1
- http://hal.inria.fr/inria-00070008
- oai:hal.inria.fr:inria-00070008
- Contributeur :
- Soumis le : Vendredi 19 Mai 2006, 18:48:48
- Dernière modification le : Mercredi 21 Juin 2006, 09:33:37
Documents associés
Exporter