On the definition of lambda-calculus models

Rapport (Rapport De Recherche) Année : 1980

(1)

Gérard Berry

INRIA Rocquencourt

Résumé disponible dans les fichiers attachés

Autre [cs.OH]

Fichier principal

RR-0046.pdf (837.78 Ko)

https://inria.hal.science/inria-00076515

Soumis le : mercredi 24 mai 2006-21:12:35

Dernière modification le : mardi 7 février 2023-03:41:46

Archivage à long terme le : vendredi 13 mai 2011-20:49:32

inria-00076515 , version 1 (24-05-2006)

Gérard Berry. On the definition of lambda-calculus models. [Research Report] RR-0046, INRIA. 1980. ⟨inria-00076515⟩

INRIA INRIA-RRRT INRIA2 LARA

62 Consultations

122 Téléchargements