Crossref Citations
This article has been cited by the following publications. This list is generated based on data provided by Crossref.
Hyland, J.M.E.
2002.
Proof theory in the abstract.
Annals of Pure and Applied Logic,
Vol. 114,
Issue. 1-3,
p.
43.
2006.
Lectures on the Curry-Howard Isomorphism.
Vol. 149,
Issue. ,
p.
403.
2006.
Lectures on the Curry-Howard Isomorphism.
Vol. 149,
Issue. ,
p.
229.
2006.
Lectures on the Curry-Howard Isomorphism.
Vol. 149,
Issue. ,
p.
27.
GEUVERS, HERMAN
NIQUI, MILAD
SPITTERS, BAS
and
WIEDIJK, FREEK
2007.
Constructive analysis, types and exact real numbers.
Mathematical Structures in Computer Science,
Vol. 17,
Issue. 1,
p.
3.
Cardone, Felice
and
Hindley, J. Roger
2009.
Logic from Russell to Church.
Vol. 5,
Issue. ,
p.
723.
Moschovakis, Joan Rand
2009.
Logic from Russell to Church.
Vol. 5,
Issue. ,
p.
77.
RIN, BENJAMIN G.
and
WALSH, SEAN
2016.
REALIZABILITY SEMANTICS FOR QUANTIFIED MODAL LOGIC: GENERALIZING FLAGG’S 1985 CONSTRUCTION.
The Review of Symbolic Logic,
Vol. 9,
Issue. 4,
p.
752.
Oosten, Jaap van
and
Zou, Tingxiang
2016.
Classical and Relative Realizability.
Theory and Applications of Categories,
Vol. 31,
Issue. ,
p.
571.
Basu, Sankha S.
and
Simpson, Stephen G.
2016.
Mass problems and intuitionistic higher-order logic.
Computability,
Vol. 5,
Issue. 1,
p.
29.
Longley, John R.
2017.
Logic Colloquium 2000.
p.
32.
Miquel, Alexandre
2020.
Implicative algebras: a new foundation for realizability and forcing.
Mathematical Structures in Computer Science,
Vol. 30,
Issue. 5,
p.
458.
Bohrer, Rose
and
Platzer, André
2020.
Automated Reasoning.
Vol. 12166,
Issue. ,
p.
454.
Bohrer, Rose
and
Platzer, André
2020.
Programming Languages and Systems.
Vol. 12075,
Issue. ,
p.
84.
Carl, Merlin
Galeotti, Lorenzo
and
Passmann, Robert
2021.
Connecting with Computability.
Vol. 12813,
Issue. ,
p.
82.
Carl, Merlin
Galeotti, Lorenzo
and
Passmann, Robert
2023.
Realisability for infinitary intuitionistic set theory.
Annals of Pure and Applied Logic,
Vol. 174,
Issue. 6,
p.
103259.