Crossref Citations
This article has been cited by the following publications. This list is generated based on data provided by
Crossref.
Aczel, Peter
1999.
Types for Proofs and Programs.
Vol. 1657,
Issue. ,
p.
1.
Altenkirch, T.
1999.
Extensional equality in intensional type theory.
p.
412.
Bove, Ana
and
Capretta, Venanzio
2001.
Theorem Proving in Higher Order Logics.
Vol. 2152,
Issue. ,
p.
121.
Callaghan, Paul
and
Luo, Zhaohui
2001.
An Implementation of LF with Coercive Subtyping & Universes.
Journal of Automated Reasoning,
Vol. 27,
Issue. 1,
p.
3.
Dybjer, Peter
and
Setzer, Anton
2001.
Proof Theory in Computer Science.
Vol. 2183,
Issue. ,
p.
93.
Pollack, Robert
2002.
Dependently Typed Records in Type Theory.
Formal Aspects of Computing,
Vol. 13,
Issue. 3-5,
p.
386.
Barthe, Gilles
and
Coquand, Thierry
2002.
Applied Semantics.
Vol. 2395,
Issue. ,
p.
1.
PašaliΕ, Emir
Taha, Walid
and
Sheard, Tim
2002.
Tagless staged interpreters for typed languages.
p.
218.
Bertot, Yves
Capretta, Venanzio
and
Barman, Kuntal Das
2002.
Theorem Proving in Higher Order Logics.
Vol. 2410,
Issue. ,
p.
83.
PašaliΕ, Emir
Taha, Walid
and
Sheard, Tim
2002.
Tagless staged interpreters for typed languages.
ACM SIGPLAN Notices,
Vol. 37,
Issue. 9,
p.
218.
Bove, Ana
2003.
Types for Proofs and Programs.
Vol. 2646,
Issue. ,
p.
39.
Magaud, Nicolas
2003.
Theorem Proving in Higher Order Logics.
Vol. 2758,
Issue. ,
p.
87.
Blanqui, Frédéric
2003.
Typed Lambda Calculi and Applications.
Vol. 2701,
Issue. ,
p.
46.
Dybjer, Peter
and
Setzer, Anton
2003.
Induction–recursion and initial algebras.
Annals of Pure and Applied Logic,
Vol. 124,
Issue. 1-3,
p.
1.
Bove, Ana
and
Capretta, Venanzio
2005.
Typed Lambda Calculi and Applications.
Vol. 3461,
Issue. ,
p.
116.
Dybjer, Peter
Haiyan, Qiao
and
Takeyama, Makoto
2005.
Theoretical Aspects of Computing - ICTAC 2004.
Vol. 3407,
Issue. ,
p.
341.
Palmgren, Erik
2006.
Regular universes and formal spaces.
Annals of Pure and Applied Logic,
Vol. 137,
Issue. 1-3,
p.
299.
Michelbrink, Markus
2006.
Interfaces as functors, programs as coalgebras—A final coalgebra theorem in intensional type theory.
Theoretical Computer Science,
Vol. 360,
Issue. 1-3,
p.
415.
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.
77.