Crossref Citations
This article has been cited by the following publications. This list is generated based on data provided by
Crossref.
Hurkens, Antonius J. C.
1995.
Typed Lambda Calculi and Applications.
Vol. 902,
Issue. ,
p.
266.
Coquand, Thierry
1996.
An algorithm for type-checking dependent types.
Science of Computer Programming,
Vol. 26,
Issue. 1-3,
p.
167.
Barthe, Gilles
Hatcliff, John
and
Heine Sørensen, Morten
1997.
A Notion of Classical Pure Type System (Preliminary version).
Electronic Notes in Theoretical Computer Science,
Vol. 6,
Issue. ,
p.
4.
Sørensen, Morten Heine
1997.
Strong Normalization from Weak Normalization in Typedλ-Calculi.
Information and Computation,
Vol. 133,
Issue. 1,
p.
35.
Barthe, Gilles
1998.
Automata, Languages and Programming.
Vol. 1443,
Issue. ,
p.
755.
Barthe, Gilles
Hatcliff, John
and
Thiemann, Peter
1998.
Monadic Type Systems: Pure Type Systems for Impure Settings (Preliminary Report).
Electronic Notes in Theoretical Computer Science,
Vol. 10,
Issue. ,
p.
54.
Severi, Paula
1998.
Type Inference for Pure Type Systems.
Information and Computation,
Vol. 143,
Issue. 1,
p.
1.
Barthe, Gilles
Hatcliff, John
and
Sørensen, Morten Heine
2001.
Weak normalization implies strong normalization in a class of non-dependent pure type systems.
Theoretical Computer Science,
Vol. 269,
Issue. 1-2,
p.
317.
Barthe, Gilles
Hatcliff, John
and
Sørensen, Morten Heine B.
2001.
An induction principle for pure type systems.
Theoretical Computer Science,
Vol. 266,
Issue. 1-2,
p.
773.
Barthe, Gilles
and
Coquand, Thierry
2002.
Applied Semantics.
Vol. 2395,
Issue. ,
p.
1.
Sørensen, Morten Heine
and
Urzyczyin, Pawel
2006.
Lectures on the Curry-Howard Isomorphism.
Vol. 149,
Issue. ,
p.
229.
Sørensen, M.H.
and
Urzyczyn, P.
2006.
Lectures on the Curry-Howard Isomorphism.
Vol. 149,
Issue. ,
p.
403.
Sørensen, Morten Heine
and
Urzyczyin, Pawel
2006.
Lectures on the Curry-Howard Isomorphism.
Vol. 149,
Issue. ,
p.
343.
Miquel, Alexandre
2006.
Types for Proofs and Programs.
Vol. 3839,
Issue. ,
p.
232.
Coquand, Thierry
2007.
Kolmogorov’s Heritage in Mathematics.
p.
19.
Endrullis, Jörg
Hendriks, Dimitri
and
Klop, Jan Willem
2010.
Modular Construction of Fixed Point Combinators and Clocked Böhm Trees.
p.
111.
Severi, Paula G.
and
de Vries, Fer-Jan J.
2012.
Pure type systems with corecursion on streams.
ACM SIGPLAN Notices,
Vol. 47,
Issue. 9,
p.
141.
Severi, Paula G.
and
de Vries, Fer-Jan J.
2012.
Pure type systems with corecursion on streams.
p.
141.
Barendregt, Henk
2013.
Mathematics, Computer Science and Logic - A Never Ending Story.
p.
1.
Uchida, Toshihiko
2016.
A partial translation from λU to λ2.
Journal of Logic and Computation,
Vol. 26,
Issue. 2,
p.
727.
Discussions
No Discussions have been published for this article.