Back to Search Start Over

A filter lambda model and the completeness of type assignement

Authors :
Barendregt, H.P.
Coppo, M.
Dezani-Ciancaglini, M.
Source :
Journal of Symbolic Logic, 48, 931-940, Journal of Symbolic Logic, 48, 4, pp. 931-940
Publication Year :
1983

Abstract

Contains fulltext : 13268.pdf (Publisher’s version ) (Open Access)

Subjects

Subjects :
GeneralLiterature_REFERENCE(e.g.,dictionaries,encyclopedias,glossaries)

Details

Language :
English
ISSN :
00224812
Volume :
48
Database :
OpenAIRE
Journal :
Journal of Symbolic Logic
Accession number :
edsair.dedup.wf.001..21624a92d94a820ea484cca0b66fd383

Tools

Authors Abstract Subjects Details