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.
McKinna, James
and
Pollack, Robert
1993.
Typed Lambda Calculi and Applications.
Vol. 664,
Issue. ,
p.
289.
Dowek, Gilles
1993.
Typed Lambda Calculi and Applications.
Vol. 664,
Issue. ,
p.
139.
Jones, Mark P.
1993.
A system of constructor classes.
p.
52.
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.
Barbanera, Franco
and
Fernández, Maribel
1993.
Automata, Languages and Programming.
Vol. 700,
Issue. ,
p.
657.
Groote, Philippe
1993.
STACS 93.
Vol. 665,
Issue. ,
p.
712.
Borghuis, Tijn
1993.
Diamonds and Defaults.
p.
67.
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.
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.
Hagiya, Masami
1993.
Algorithmic Learning Theory.
Vol. 744,
Issue. ,
p.
73.
Barbanera, F.
Fernandez, M.
and
Geuvers, H.
1994.
Modularity of strong normalization and confluence in the algebraic-λ-cube.
p.
406.
Bakel, Steffen
Liquori, Luigi
Rocca, Simona Ronchi
and
Urzyczyn, Paweł
1994.
Logical Foundations of Computer Science.
Vol. 813,
Issue. ,
p.
353.
Pollack, Randy
1994.
Types for Proofs and Programs.
Vol. 806,
Issue. ,
p.
313.
1994.
Selected Papers on Automath.
Vol. 133,
Issue. ,
p.
975.
Hagiya, Masami
and
Toda, Yozo
1994.
Logic, Language and Computation.
Vol. 792,
Issue. ,
p.
10.
Benthem Jutting, L. S.
McKinna, J.
and
Pollack, R.
1994.
Types for Proofs and Programs.
Vol. 806,
Issue. ,
p.
19.
Discussions
No Discussions have been published for this article.