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.
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.
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.
Springintveld, Jan
1993.
Typed Lambda Calculi and Applications.
Vol. 664,
Issue. ,
p.
391.
McKinna, James
and
Pollack, Robert
1993.
Typed Lambda Calculi and Applications.
Vol. 664,
Issue. ,
p.
289.
Groote, Philippe
1993.
Typed Lambda Calculi and Applications.
Vol. 664,
Issue. ,
p.
163.
Bakel, Steffen
Liquori, Luigi
Rocca, Simona Ronchi
and
Urzyczyn, Paweł
1994.
Logical Foundations of Computer Science.
Vol. 813,
Issue. ,
p.
353.
Geuvers, H.
and
Werner, B.
1994.
On the Church-Rosser property for expressive type systems and its consequences for their metatheoretic study.
p.
320.
Geuvers, Herman
1994.
Types for Proofs and Programs.
Vol. 806,
Issue. ,
p.
79.
Severi, Paula
and
Poll, Erik
1994.
Logical Foundations of Computer Science.
Vol. 813,
Issue. ,
p.
316.
Benthem Jutting, L. S.
McKinna, J.
and
Pollack, R.
1994.
Types for Proofs and Programs.
Vol. 806,
Issue. ,
p.
19.
Takahashi, M.
Akama, Y.
and
Hirokawa, S.
1994.
Theoretical Aspects of Computer Software.
Vol. 789,
Issue. ,
p.
465.
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.
Barbanera, F.
Fernandez, M.
and
Geuvers, H.
1994.
Modularity of strong normalization and confluence in the algebraic-λ-cube.
p.
406.
Pollack, Randy
1994.
Types for Proofs and Programs.
Vol. 806,
Issue. ,
p.
313.
1994.
Selected Papers on Automath.
Vol. 133,
Issue. ,
p.
975.
Pollack, Robert
1995.
Typed Lambda Calculi and Applications.
Vol. 902,
Issue. ,
p.
365.
Discussions
No Discussions have been published for this article.