Crossref Citations
This article has been cited by the following publications. This list is generated based on data provided by
Crossref.
2008.
Realizability: An Introduction to its Categorical Side.
Vol. 152,
Issue. ,
p.
291.
Cockett, J.R.B.
and
Hofstra, P.J.W.
2008.
Introduction to Turing categories.
Annals of Pure and Applied Logic,
Vol. 156,
Issue. 2-3,
p.
183.
van den Berg, Benno
and
Moerdijk, Ieke
2011.
Aspects of predicative algebraic set theory, II: Realizability.
Theoretical Computer Science,
Vol. 412,
Issue. 20,
p.
1916.
Hoshino, Naohiko
2012.
Step Indexed Realizability Semantics for a Call-by-Value Language Based on Basic Combinatorial Objects.
p.
385.
STEKELENBURG, WOUTER PIETER
2013.
Regular functors and relative realisability categories.
Mathematical Structures in Computer Science,
Vol. 23,
Issue. 5,
p.
1082.
STREICHER, THOMAS
2013.
Krivine's classical realisability from a categorical perspective.
Mathematical Structures in Computer Science,
Vol. 23,
Issue. 6,
p.
1234.
LONGLEY, JOHN
2014.
Computability structures, simulations and realizability.
Mathematical Structures in Computer Science,
Vol. 24,
Issue. 2,
SANTOS, WALTER FERRER
FREY, JONAS
GUILLERMO, MAURICIO
MALHERBE, OCTAVIO
and
MIQUEL, ALEXANDRE
2017.
Ordered combinatory algebras and realizability.
Mathematical Structures in Computer Science,
Vol. 27,
Issue. 3,
p.
428.
SANTOS, WALTER FERRER
GUILLERMO, MAURICIO
and
MALHERBE, OCTAVIO
2019.
Realizability in ordered combinatory algebras with adjunction.
Mathematical Structures in Computer Science,
Vol. 29,
Issue. 3,
p.
430.
Frey, Jonas
2019.
Characterizing partitioned assemblies and realizability toposes.
Journal of Pure and Applied Algebra,
Vol. 223,
Issue. 5,
p.
2000.
Ferrer Santos, Walter
and
Malherbe, Octavio
2019.
The category of implicative algebras and realizability.
Mathematical Structures in Computer Science,
Vol. 29,
Issue. 10,
p.
1575.
Zoethout, Jetze
2021.
On (co)products of partial combinatory algebras, with an application to pushouts of realizability toposes.
Mathematical Structures in Computer Science,
Vol. 31,
Issue. 2,
p.
214.
Trotta, Davide
Spadetto, Matteo
and
de Paiva, Valeria
2023.
Dialectica principles via Gödel doctrines.
Theoretical Computer Science,
Vol. 947,
Issue. ,
p.
113692.
Maietti, Maria Emilia
and
Trotta, Davide
2023.
A characterization of generalized existential completions.
Annals of Pure and Applied Logic,
Vol. 174,
Issue. 4,
p.
103234.
Frey, Jonas
2023.
Categories of partial equivalence relations as localizations.
Journal of Pure and Applied Algebra,
Vol. 227,
Issue. 8,
p.
107115.
Maschio, Samuele
and
Trotta, Davide
2024.
On categorical structures arising from implicative algebras: From topology to assemblies.
Annals of Pure and Applied Logic,
Vol. 175,
Issue. 3,
p.
103390.