Crossref Citations
This article has been cited by the following publications. This list is generated based on data provided by
Crossref.
Luo, Zhaohui
2007.
Advances in Computer Science - ASIAN 2006. Secure Software and Related Issues.
Vol. 4435,
Issue. ,
p.
214.
Adams, Robin
and
Luo, Zhaohui
2007.
Types for Proofs and Programs.
Vol. 4502,
Issue. ,
p.
1.
GAMBINO, NICOLA
and
SCHUSTER, PETER
2007.
Spatiality for formal topologies.
Mathematical Structures in Computer Science,
Vol. 17,
Issue. 1,
p.
65.
Gambino, Nicola
2008.
The associated sheaf functor theorem in algebraic set theory.
Annals of Pure and Applied Logic,
Vol. 156,
Issue. 1,
p.
68.
Belo, João Filipe
2008.
Types for Proofs and Programs.
Vol. 4941,
Issue. ,
p.
33.
Maietti, Maria Emilia
2009.
A minimalist two-level foundation for constructive mathematics.
Annals of Pure and Applied Logic,
Vol. 160,
Issue. 3,
p.
319.
Adams, Robin
and
Luo, Zhaohui
2010.
Classical predicative logic-enriched type theories.
Annals of Pure and Applied Logic,
Vol. 161,
Issue. 11,
p.
1315.
Adams, Robin
and
Luo, Zhaohui
2010.
Weyl's predicative classical mathematics as a logic-enriched type theory.
ACM Transactions on Computational Logic,
Vol. 11,
Issue. 2,
p.
1.
ADAMS, ROBIN
and
LUO, ZHAOHUI
2011.
A pluralist approach to the formalisation of mathematics.
Mathematical Structures in Computer Science,
Vol. 21,
Issue. 4,
p.
913.
Aczel, Peter
2013.
Rudimentary and arithmetical constructive set theory.
Annals of Pure and Applied Logic,
Vol. 164,
Issue. 4,
p.
396.
Aguirre, Alejandro
Barthe, Gilles
Gaboardi, Marco
Garg, Deepak
and
Strub, Pierre-Yves
2017.
A relational logic for higher-order programs.
Proceedings of the ACM on Programming Languages,
Vol. 1,
Issue. ICFP,
p.
1.
Aguirre, Alejandro
Barthe, Gilles
Birkedal, Lars
Bizjak, Aleš
Gaboardi, Marco
and
Garg, Deepak
2018.
Programming Languages and Systems.
Vol. 10801,
Issue. ,
p.
214.
AGUIRRE, ALEJANDRO
BARTHE, GILLES
GABOARDI, MARCO
GARG, DEEPAK
and
STRUB, PIERRE-YVES
2019.
A relational logic for higher-order programs.
Journal of Functional Programming,
Vol. 29,
Issue. ,
Palmgren, Erik
2019.
Categories with families and first-order logic with dependent sorts.
Annals of Pure and Applied Logic,
Vol. 170,
Issue. 12,
p.
102715.
Bohrer, Rose
and
Platzer, André
2020.
Programming Languages and Systems.
Vol. 12075,
Issue. ,
p.
84.
Gallozzi, Cesare
2021.
Homotopy type-theoretic interpretations of constructive set theories.
Mathematical Structures in Computer Science,
Vol. 31,
Issue. 1,
p.
112.
Maschio, Samuele
and
Sabelli, Pietro
2022.
Revolutions and Revelations in Computability.
Vol. 13359,
Issue. ,
p.
172.
2024.
Formal Semantics in Modern Type Theories.
p.
209.