Berry, Gérard

INRIA a CCSD electronic archive server

HAL Id: inria-00076481https://hal.inria.fr/inria-00076481Submitted on 24 May 2006HAL is a multi-disciplinary open accessarchive for the deposit and dissemination of sci-entific research documents, whether they are pub-lished or not. The documents may come fromteaching and research institutions in France orabroad, or from public or private research centers.L’archive ouverte pluridisciplinaire HAL, estdestinée au dépôt et à la diffusion de documentsscientifiques de niveau recherche, publiés ou non,émanant des établissements d’enseignement et derecherche français ou étrangers, des laboratoirespublics ou privés.Some syntactic and categorical constructions oflambda-calculus modelsGérard BerryTo cite this version:Gérard Berry. Some syntactic and categorical constructions of lambda-calculus models. [ResearchReport] RR-0080, INRIA. 1981, pp.48. ￿inria-00076481￿

Some syntactic and categorical constructions of lambda-calculus models

HAL-MINES ParisTech

Some syntactic and categorical constructions oflambda-calculus modelsGe´rard BerryTo cite this version:Ge´rard Berry. Some syntactic and categorical constructions of lambda-calculus models. [Re-search Report] RR-0080, INRIA. 1981, pp.48. <inria-00076481>HAL Id: inria-00076481https://hal.inria.fr/inria-00076481Submitted on 24 May 2006HAL is a multi-disciplinary open accessarchive for the deposit and dissemination of sci-entific research documents, whether they are pub-lished or not. The documents may come fromteaching and research institutions in France orabroad, or from public or private research centers.L’archive ouverte pluridisciplinaire HAL, estdestine´e au de´poˆt et a` la diffusion de documentsscientifiques de niveau recherche, publie´s ou non,e´manant des e´tablissements d’enseignement et derecherche franc¸ais ou e´trangers, des laboratoirespublics ou prive´s.

https://hal.inria.fr/inria-00076481/file/RR-0080.pdf

Some syntactic and categorical constructions of lambda-calculus models

Abstract

Similar works

Full text

Available Versions

INRIA a CCSD electronic archive server

HAL-MINES ParisTech