Crossref Citations
This article has been cited by the following publications. This list is generated based on data provided by
Crossref.
Koymans, C.P.J.
1982.
Models of the lambda calculus.
Information and Control,
Vol. 52,
Issue. 3,
p.
306.
Longo, Giuseppe
1983.
Set-theoretical models of λ-calculus: theories, expansions, isomorphisms.
Annals of Pure and Applied Logic,
Vol. 24,
Issue. 2,
p.
153.
Hindley, J.Roger
1983.
Coppo-Dezani types do not correspond to propositional logic.
Theoretical Computer Science,
Vol. 28,
Issue. 1-2,
p.
235.
Hindley, Roger
1983.
The completeness theorem for typing λ-terms.
Theoretical Computer Science,
Vol. 22,
Issue. 1-2,
p.
1.
Longo, G.
1984.
Mathematical Foundations of Computer Science 1984.
Vol. 176,
Issue. ,
p.
96.
Barendregt, Henk
1984.
Logic Colloquium '82.
Vol. 112,
Issue. ,
p.
209.
Mitchell, John
1984.
Semantics of Data Types.
Vol. 173,
Issue. ,
p.
257.
Dezani-Ciancaglini, M.
and
Margaria, I.
1984.
Semantics of Data Types.
Vol. 173,
Issue. ,
p.
279.
Coppo, Mario
1984.
Completeness of type assignment in continuous lambda models.
Theoretical Computer Science,
Vol. 29,
Issue. 3,
p.
309.
Bruce, Kim B.
and
Meyer, Albert R.
1984.
Semantics of Data Types.
Vol. 173,
Issue. ,
p.
131.
Leivant, Daniel
1986.
Typing and computational properties of lambda expressions.
Theoretical Computer Science,
Vol. 44,
Issue. ,
p.
51.
Longo, G.
and
Martini, S.
1986.
Computability in higher types, Pω and the completeness of type assignment.
Theoretical Computer Science,
Vol. 46,
Issue. ,
p.
197.
Dezani-Ciancaglini, Mariangiola
and
Margaria, Ines
1986.
A characterization of F-complete type assignments.
Theoretical Computer Science,
Vol. 45,
Issue. ,
p.
121.
Coppo, M.
Dezani-Ciancaglini, M.
and
Zacchi, M.
1987.
Type theories, normal forms, and D∞-lambda-models.
Information and Computation,
Vol. 72,
Issue. 2,
p.
85.
Mitchell, John C.
1988.
Polymorphic type inference and containment.
Information and Computation,
Vol. 76,
Issue. 2-3,
p.
211.
Ronchi Della Rocca, Simona
1988.
Principal type scheme and unification for intersection type discipline.
Theoretical Computer Science,
Vol. 59,
Issue. 1-2,
p.
181.
Longo, Giuseppe
1988.
On church's formal theory of functions and functionals.
Annals of Pure and Applied Logic,
Vol. 40,
Issue. 2,
p.
93.
Feijs, L. M. G.
1989.
Algebraic Methods: Theory, Tools and Applications.
Vol. 394,
Issue. ,
p.
307.
Bruce, Kim B.
Meyer, Albert R.
and
Mitchell, John C.
1990.
The semantics of second-order lambda calculus.
Information and Computation,
Vol. 85,
Issue. 1,
p.
76.
MITCHELL, John C.
1990.
Formal Models and Semantics.
p.
365.