On the definition of lambda-calculus models
Abstract
Résumé disponible dans les fichiers attachés
Reports
(Research Report)
Year : 1980
Rapport De Recherche Inria : Connect in order to contact the contributor
https://inria.hal.science/inria-00076515
Submitted on : Wednesday, May 24, 2006-9:12:35 PM
Last modification on : Tuesday, February 7, 2023-3:41:46 AM
Long-term archiving on: Friday, May 13, 2011-8:49:32 PM
Dates and versions
Identifiers
- HAL Id : inria-00076515 , version 1
Cite
Gérard Berry. On the definition of lambda-calculus models. [Research Report] RR-0046, INRIA. 1980. ⟨inria-00076515⟩
Collections
62
View
122
Download