Crossref Citations
This article has been cited by the following publications. This list is generated based on data provided by
Crossref.
Hofstra, P.J.W.
2004.
Relative completions.
Journal of Pure and Applied Algebra,
Vol. 192,
Issue. 1-3,
p.
129.
van Oosten, Jaap
2006.
A General Form of Relative Recursion.
Notre Dame Journal of Formal Logic,
Vol. 47,
Issue. 3,
HOFSTRA, PIETER J. W.
2008.
Iterated realizability as a comma construction.
Mathematical Proceedings of the Cambridge Philosophical Society,
Vol. 144,
Issue. 1,
p.
39.
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.
2008.
Realizability: An Introduction to its Categorical Side.
Vol. 152,
Issue. ,
p.
291.
Cockett, J.R.B.
and
Hofstra, Pieter J.W.
2010.
Categorical simulations.
Journal of Pure and Applied Algebra,
Vol. 214,
Issue. 10,
p.
1835.
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.
Ziegler, Albert
2012.
Generalizing realizability and Heyting models for constructive set theory.
Annals of Pure and Applied Logic,
Vol. 163,
Issue. 2,
p.
175.
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.
2016.
Algebraic Computability and Enumeration Models.
p.
245.
Faber, Eric
and
van Oosten, Jaap
2016.
Effective operations of type 2 in PCAs.
Computability,
Vol. 5,
Issue. 2,
p.
127.
Johnstone, Peter
2017.
Functoriality of modified realizability.
Tbilisi Mathematical Journal,
Vol. 10,
Issue. 3,
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.
Miquey, Étienne
2018.
Interactive Theorem Proving.
Vol. 10895,
Issue. ,
p.
459.
Frey, Jonas
2019.
Characterizing partitioned assemblies and realizability toposes.
Journal of Pure and Applied Algebra,
Vol. 223,
Issue. 5,
p.
2000.
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.
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.
Zoethout, Jetze
2023.
Third-order functionals on partial combinatory algebras.
Annals of Pure and Applied Logic,
Vol. 174,
Issue. 2,
p.
103205.