Crossref Citations
This article has been cited by the following publications. This list is generated based on data provided by
Crossref.
Streicher, Thomas
1992.
Independence of the induction principle ad the axiom of choice in the pure calculus of constructions.
Theoretical Computer Science,
Vol. 103,
Issue. 2,
p.
395.
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.
Dowek, Gilles
1993.
The undecidability of pattern matching in calculi where primitive recursive functions are representable.
Theoretical Computer Science,
Vol. 107,
Issue. 2,
p.
349.
McKinna, James
and
Pollack, Robert
1993.
Typed Lambda Calculi and Applications.
Vol. 664,
Issue. ,
p.
289.
Jones, Mark P.
1993.
A system of constructor classes.
p.
52.
Barbanera, Franco
and
Fernández, Maribel
1993.
Automata, Languages and Programming.
Vol. 700,
Issue. ,
p.
657.
Dowek, Gilles
1993.
Typed Lambda Calculi and Applications.
Vol. 664,
Issue. ,
p.
139.
Borghuis, Tijn
1993.
Diamonds and Defaults.
p.
67.
Hagiya, Masami
1993.
Algorithmic Learning Theory.
Vol. 744,
Issue. ,
p.
73.
Felty, A.
1993.
Encoding the calculus of constructions in a higher-order logic.
p.
233.
Hyland, J. M. E.
and
Ong, C. -H. L.
1993.
Typed Lambda Calculi and Applications.
Vol. 664,
Issue. ,
p.
179.
Groote, Philippe
1993.
STACS 93.
Vol. 665,
Issue. ,
p.
712.
Groote, Philippe
1993.
Typed Lambda Calculi and Applications.
Vol. 664,
Issue. ,
p.
163.
Berarducci, Alessandro
and
Böhm, Corrado
1993.
Computer Science Logic.
Vol. 702,
Issue. ,
p.
85.
Bakel, Steffen
Liquori, Luigi
Rocca, Simona Ronchi
and
Urzyczyn, Paweł
1994.
Logical Foundations of Computer Science.
Vol. 813,
Issue. ,
p.
353.
1994.
Selected Papers on Automath.
Vol. 133,
Issue. ,
p.
975.
Barbanera, F.
Fernandez, M.
and
Geuvers, H.
1994.
Modularity of strong normalization and confluence in the algebraic-λ-cube.
p.
406.
Benthem Jutting, L. S.
McKinna, J.
and
Pollack, R.
1994.
Types for Proofs and Programs.
Vol. 806,
Issue. ,
p.
19.
Pollack, Randy
1994.
Types for Proofs and Programs.
Vol. 806,
Issue. ,
p.
313.
Hagiya, Masami
and
Toda, Yozo
1994.
Logic, Language and Computation.
Vol. 792,
Issue. ,
p.
10.
Discussions
No Discussions have been published for this article.