Switch to: Citations

References in:

A Filter lambda model and the completeness of type assignment

Henk Barendregt, Mario Coppo & Mariangiola Dezani-Ciancaglini

Journal of Symbolic Logic 48 (4):931-940 (1983)

Add references

You must login to add references.

Lambda‐Calculus Models and Extensionality.R. Hindley & G. Longo - 1980 - Mathematical Logic Quarterly 26 (19‐21):289-310.details Areas of Mathematics in Philosophy of Mathematics Direct download (2 more) Export citation Bookmark 8 citations
Lambda‐Calculus Models and Extensionality.R. Hindley & G. Longo - 1980 - Mathematical Logic Quarterly 26 (19-21):289-310.details Areas of Mathematics in Philosophy of Mathematics Direct download (2 more) Export citation Bookmark 9 citations
Functional Characters of Solvable Terms.M. Coppo, M. Dezani-Ciancaglini & B. Venneri - 1981 - Mathematical Logic Quarterly 27 (2‐6):45-58.details Logic and Philosophy of Logic Ontology in Metaphysics Direct download (2 more) Export citation Bookmark 9 citations
Functional Characters of Solvable Terms.M. Coppo, M. Dezani-Ciancaglini & B. Venneri - 1981 - Mathematical Logic Quarterly 27 (2-6):45-58.details Logic and Philosophy of Logic Direct download (2 more) Export citation Bookmark 9 citations

1