Crossref Citations
This article has been cited by the following publications. This list is generated based on data provided by
Crossref.
Dybjer, Peter
1985.
Functional Programming Languages and Computer Architecture.
Vol. 201,
Issue. ,
p.
334.
Paulson, Lawrence C.
1986.
Constructing recursion operators in intuitionistic type theory.
Journal of Symbolic Computation,
Vol. 2,
Issue. 4,
p.
325.
Smith, Jan M.
1987.
Mathematical Logic and Its Applications.
p.
331.
Beeson, Michael J.
1988.
Towards a computation system based on set theory.
Theoretical Computer Science,
Vol. 60,
Issue. 3,
p.
297.
Kobayashi, Satoshi
1989.
Mathematical Logic and Applications.
Vol. 1388,
Issue. ,
p.
120.
Galmiche, Didier
1990.
Constructive system for automatic program synthesis.
Theoretical Computer Science,
Vol. 71,
Issue. 2,
p.
227.
Dybjer, Peter
1990.
Comparing integrated and external logics of functional programs.
Science of Computer Programming,
Vol. 14,
Issue. 1,
p.
59.
Palmgren, Erik
and
Stoltenberg-Hansen, Viggo
1990.
Domain interpretations of martin-löf’s partial type theory.
Annals of Pure and Applied Logic,
Vol. 48,
Issue. 2,
p.
135.
Harper, Robert
1992.
Constructing type systems over an operational semantics.
Journal of Symbolic Computation,
Vol. 14,
Issue. 1,
p.
71.
Tammet, Tanel
and
Smith, Jan M.
1996.
Types for Proofs and Programs.
Vol. 1158,
Issue. ,
p.
265.
Turner, Raymond
1997.
Handbook of Logic and Language.
p.
535.
Galmiche, Didier
and
Pym, David J.
2000.
Proof-search in type-theoretic languages: an introduction.
Theoretical Computer Science,
Vol. 232,
Issue. 1-2,
p.
5.
Fox, Chris
and
Lappin, Shalom
2001.
Logical Aspects of Computational Linguistics.
Vol. 2099,
Issue. ,
p.
175.
TSUKADA, YASUYUKI
2001.
MARTIN-LÖF'S TYPE THEORY AS AN OPEN-ENDED FRAMEWORK.
International Journal of Foundations of Computer Science,
Vol. 12,
Issue. 01,
p.
31.
Visser, Albert
2002.
Handbook of Philosophical Logic.
p.
149.
2005.
Foundations of Intensional Semantics.
p.
172.
Danielsson, Nils Anders
Hughes, John
Jansson, Patrik
and
Gibbons, Jeremy
2006.
Fast and loose reasoning is morally correct.
ACM SIGPLAN Notices,
Vol. 41,
Issue. 1,
p.
206.
Danielsson, Nils Anders
Hughes, John
Jansson, Patrik
and
Gibbons, Jeremy
2006.
Fast and loose reasoning is morally correct.
p.
206.
Bove, Ana
Dybjer, Peter
and
Sicard-Ramírez, Andrés
2009.
Embedding a logical theory of constructions in Agda.
p.
59.
Andrea, Cantini
2009.
Logic from Russell to Church.
Vol. 5,
Issue. ,
p.
875.