A Filter Lambda Model and the Completeness of Type Assignment
Henk Barendregt, Mario Coppo, and Mariangiola Dezani-Ciancaglini
Source: J. Symbolic Logic Volume 48, Issue 4 (1983), 931-940.
Full-text: Remote access
If you are a member of the ASL, log in to Euclid for access.
Full-text is available via JSTOR, for JSTOR subscribers. Go to this article in JSTOR.
Links and Identifiers
Permanent link to this document: http://projecteuclid.org/euclid.jsl/1183741404
JSTOR: links.jstor.org
Mathematical Reviews number (MathSciNet):
MR727784
Zentralblatt MATH identifier:
0545.03004
