Crossref Citations
This article has been cited by the following publications. This list is generated based on data provided by
Crossref.
Fiore, Marcelo P.
and
Plotkin, Gordon D.
1997.
Computer Science Logic.
Vol. 1258,
Issue. ,
p.
129.
Fiore, Marcelo
and
Rosolini, Giuseppe
1997.
The Category of Cpos From a Synthetic Viewpoint.
Electronic Notes in Theoretical Computer Science,
Vol. 6,
Issue. ,
p.
133.
Simpson, A.K.
1999.
Elementary axioms for categories of classes.
p.
77.
Marz, M.
Rohr, A.
and
Streicher, T.
1999.
Full abstraction and universality via realisability.
p.
174.
Reus, Bernhard
1999.
Realizability Models for Type Theories.
Electronic Notes in Theoretical Computer Science,
Vol. 23,
Issue. 1,
p.
128.
Longley, John
1999.
Matching typed and untyped realizability.
Electronic Notes in Theoretical Computer Science,
Vol. 23,
Issue. 1,
p.
74.
Simpson, A.
and
Plotkin, G.
2000.
Complete axioms for categorical fixed-point operators.
p.
30.
van Oosten, Jaap
and
Simpson, Alex K.
2000.
Axioms and (counter)examples in synthetic domain theory.
Annals of Pure and Applied Logic,
Vol. 104,
Issue. 1-3,
p.
233.
Longley, John
2000.
Matching typed and untyped readability (Extended abstract).
Electronic Notes in Theoretical Computer Science,
Vol. 35,
Issue. ,
p.
109.
Fiore, Marcelo P.
and
Rosolini, Giuseppe
2001.
Domains in H.
Theoretical Computer Science,
Vol. 264,
Issue. 2,
p.
171.
Simpson, A.
2002.
Computational adequacy for recursive types in models of intuitionistic set theory.
p.
287.
Longley, John
2002.
The sequentially realizable functionals.
Annals of Pure and Applied Logic,
Vol. 117,
Issue. 1-3,
p.
1.
Simpson, Alex
2004.
Computational adequacy for recursive types in models of intuitionistic set theory.
Annals of Pure and Applied Logic,
Vol. 130,
Issue. 1-3,
p.
207.
Battenfeld, Ingo
Schröder, Matthias
and
Simpson, Alex
2007.
A Convenient Category of Domains.
Electronic Notes in Theoretical Computer Science,
Vol. 172,
Issue. ,
p.
69.
2008.
Realizability: An Introduction to its Categorical Side.
Vol. 152,
Issue. ,
p.
291.
Battenfeld, Ingo
2010.
Comparing free algebras in Topological and Classical Domain Theory.
Theoretical Computer Science,
Vol. 411,
Issue. 19,
p.
1900.
Hoshino, Naohiko
2012.
Step Indexed Realizability Semantics for a Call-by-Value Language Based on Basic Combinatorial Objects.
p.
385.
Escardó, Martín Hötzel
and
Streicher, Thomas
2016.
The intrinsic topology of Martin-Löf universes.
Annals of Pure and Applied Logic,
Vol. 167,
Issue. 9,
p.
794.
Kavvos, G. A.
2017.
Foundations of Software Science and Computation Structures.
Vol. 10203,
Issue. ,
p.
550.
Longley, John R.
2017.
Logic Colloquium 2000.
p.
32.