Crossref Citations
This article has been cited by the following publications. This list is generated based on data provided by
Crossref.
Barendregt, Henk
1991.
Introduction to generalized type systems.
Journal of Functional Programming,
Vol. 1,
Issue. 2,
p.
125.
Tonino, Hans
and
Fujita, Ken-etsu
1992.
On the adequacy of representing higher order intuitionistic logic as a pure type system.
Annals of Pure and Applied Logic,
Vol. 57,
Issue. 3,
p.
251.
Geuvers, H.
1992.
The Church-Rosser property for beta eta -reduction in typed lambda -calculi.
p.
453.
Obtułowicz, Adam
1993.
Algebra of constructions II: an algebraic approach to Martin-Löf type theory and the calculus of constructions.
Mathematical Structures in Computer Science,
Vol. 3,
Issue. 1,
p.
63.
Groote, Philippe
1993.
Typed Lambda Calculi and Applications.
Vol. 664,
Issue. ,
p.
163.
McKinna, James
and
Pollack, Robert
1993.
Typed Lambda Calculi and Applications.
Vol. 664,
Issue. ,
p.
289.
Groote, Philippe
1993.
STACS 93.
Vol. 665,
Issue. ,
p.
712.
Barbanera, Franco
and
Fernández, Maribel
1993.
Automata, Languages and Programming.
Vol. 700,
Issue. ,
p.
657.
Springintveld, Jan
1993.
Typed Lambda Calculi and Applications.
Vol. 664,
Issue. ,
p.
391.
Pollack, Randy
1994.
Types for Proofs and Programs.
Vol. 806,
Issue. ,
p.
313.
Bakel, Steffen
Liquori, Luigi
Rocca, Simona Ronchi
and
Urzyczyn, Paweł
1994.
Logical Foundations of Computer Science.
Vol. 813,
Issue. ,
p.
353.
Geuvers, Herman
1994.
Types for Proofs and Programs.
Vol. 806,
Issue. ,
p.
79.
Benthem Jutting, L. S.
McKinna, J.
and
Pollack, R.
1994.
Types for Proofs and Programs.
Vol. 806,
Issue. ,
p.
19.
Coquand, Thierry
and
Herbelin, Hugo
1994.
A-translation and looping combinators in pure type systems.
Journal of Functional Programming,
Vol. 4,
Issue. 1,
p.
77.
1994.
Selected Papers on Automath.
Vol. 133,
Issue. ,
p.
975.
Takahashi, M.
Akama, Y.
and
Hirokawa, S.
1994.
Theoretical Aspects of Computer Software.
Vol. 789,
Issue. ,
p.
465.
Barbanera, F.
Fernandez, M.
and
Geuvers, H.
1994.
Modularity of strong normalization and confluence in the algebraic-λ-cube.
p.
406.
Severi, Paula
and
Poll, Erik
1994.
Logical Foundations of Computer Science.
Vol. 813,
Issue. ,
p.
316.
Geuvers, H.
and
Werner, B.
1994.
On the Church-Rosser property for expressive type systems and its consequences for their metatheoretic study.
p.
320.
Pollack, Robert
1995.
Typed Lambda Calculi and Applications.
Vol. 902,
Issue. ,
p.
365.
Discussions
No Discussions have been published for this article.