Crossref Citations
This article has been cited by the following publications. This list is generated based on data provided by
Crossref.
Simpson, Alex K.
1998.
Mathematical Foundations of Computer Science 1998.
Vol. 1450,
Issue. ,
p.
456.
Bauer, Andrej
and
Birkedal, Lars
2000.
Computer Science Logic.
Vol. 1862,
Issue. ,
p.
202.
Normann, Dag
2000.
The Cook-Berger problem -A guide to the solution.
Electronic Notes in Theoretical Computer Science,
Vol. 35,
Issue. ,
p.
154.
Buss, S.R.
and
Kapron, B.M.
2000.
Resource-bounded continuity and sequentiality for type-two functionals.
p.
77.
Normann, Dag
2002.
Exact real number computations relative to hereditarily total functionals.
Theoretical Computer Science,
Vol. 284,
Issue. 2,
p.
437.
Hamrin, G.
and
Stoltenberg-Hansen, V.
2002.
Proof and System-Reliability.
p.
1.
Buss, Samuel R.
and
Kapron, Bruce M.
2002.
Resource-bounded continuity and sequentiality for type-two functionals.
ACM Transactions on Computational Logic,
Vol. 3,
Issue. 3,
p.
402.
Longley, John
2002.
The sequentially realizable functionals.
Annals of Pure and Applied Logic,
Vol. 117,
Issue. 1-3,
p.
1.
Escardo, M.
and
Ho Weng Kin
2005.
Operational Domain Theory and Topology of a Sequential Programming Language.
p.
427.
Normann, Dag
2005.
Comparing hierarchies of total functionals.
Logical Methods in Computer Science,
Vol. Volume 1, Issue 2,
Issue. ,
Normann, Dag
2006.
Computing with Functionals—Computability Theory or Computer Science?.
Bulletin of Symbolic Logic,
Vol. 12,
Issue. 1,
p.
43.
Escardo, Martin
2007.
Infinite sets that admit fast exhaustive search.
p.
443.
LONGLEY, JOHN
2007.
On the ubiquity of certain total type structures.
Mathematical Structures in Computer Science,
Vol. 17,
Issue. 5,
p.
841.
Normann, Dag
2008.
New Computational Paradigms.
p.
119.
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.
Fernández, Maribel
2014.
Programming Languages and Operational Semantics.
p.
121.
Given-Wilson, Thomas
2014.
Theoretical Aspects of Computing – ICTAC 2014.
Vol. 8687,
Issue. ,
p.
206.
Longley, John R.
2017.
Logic Colloquium 2000.
p.
32.
Longley, John
2019.
Bar recursion is not computable via iteration.
Computability,
Vol. 8,
Issue. 2,
p.
119.
KARÁDAIS, BASIL A.
2019.
Nonflatness and totality.
Mathematical Structures in Computer Science,
Vol. 29,
Issue. 2,
p.
309.