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.
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, Giuseppe
1983.
Set-theoretical models of λ-calculus: theories, expansions, isomorphisms.
Annals of Pure and Applied Logic,
Vol. 24,
Issue. 2,
p.
153.
Longo, G.
1984.
Mathematical Foundations of Computer Science 1984.
Vol. 176,
Issue. ,
p.
96.
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.
Barendregt, Henk
1984.
Logic Colloquium '82.
Vol. 112,
Issue. ,
p.
209.
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.
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.
Leivant, Daniel
1986.
Typing and computational properties of lambda expressions.
Theoretical Computer Science,
Vol. 44,
Issue. ,
p.
51.
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.
Longo, Giuseppe
1988.
On church's formal theory of functions and functionals.
Annals of Pure and Applied Logic,
Vol. 40,
Issue. 2,
p.
93.
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.
Feijs, L. M. G.
1989.
Algebraic Methods: Theory, Tools and Applications.
Vol. 394,
Issue. ,
p.
307.
Barendregt, Henk
and
Hemerik, Kees
1990.
ESOP '90.
Vol. 432,
Issue. ,
p.
1.
MITCHELL, John C.
1990.
Formal Models and Semantics.
p.
365.