Crossref Citations
This article has been cited by the following publications. This list is generated based on data provided by Crossref.
Escardo, M.
and
Ho Weng Kin
2005.
Operational Domain Theory and Topology of a Sequential Programming Language.
p.
427.
LONGLEY, JOHN
2007.
On the ubiquity of certain total type structures.
Mathematical Structures in Computer Science,
Vol. 17,
Issue. 5,
p.
841.
2008.
Realizability: An Introduction to its Categorical Side.
Vol. 152,
Issue. ,
p.
291.
Escardó, Martı´n
and
Ho, Weng Kin
2009.
Operational domain theory and topology of sequential programming languages.
Information and Computation,
Vol. 207,
Issue. 3,
p.
411.
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.
STEKELENBURG, WOUTER PIETER
2013.
Regular functors and relative realisability categories.
Mathematical Structures in Computer Science,
Vol. 23,
Issue. 5,
p.
1082.
Dagnino, Francesco
and
Rosolini, Giuseppe
2021.
Doctrines, modalities and comonads.
Mathematical Structures in Computer Science,
Vol. 31,
Issue. 7,
p.
769.