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.
Sørensen, Morten Heine
and
Urzyczyin, Pawel
2006.
Lectures on the Curry-Howard Isomorphism.
Vol. 149,
Issue. ,
p.
229.
Sørensen, Morten Heine
and
Urzyczyin, Pawel
2006.
Lectures on the Curry-Howard Isomorphism.
Vol. 149,
Issue. ,
p.
27.
Sørensen, M.H.
and
Urzyczyn, P.
2006.
Lectures on the Curry-Howard Isomorphism.
Vol. 149,
Issue. ,
p.
403.
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.
Moschovakis, Joan Rand
2009.
Logic from Russell to Church.
Vol. 5,
Issue. ,
p.
77.
Cardone, Felice
and
Hindley, J. Roger
2009.
Logic from Russell to Church.
Vol. 5,
Issue. ,
p.
723.
Basu, Sankha S.
and
Simpson, Stephen G.
2016.
Mass problems and intuitionistic higher-order logic.
Computability,
Vol. 5,
Issue. 1,
p.
29.
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.
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.
Programming Languages and Systems.
Vol. 12075,
Issue. ,
p.
84.
Bohrer, Rose
and
Platzer, André
2020.
Automated Reasoning.
Vol. 12166,
Issue. ,
p.
454.
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.