10 results
Computing with continuous objects: a uniform co-inductive approach
-
- Journal:
- Mathematical Structures in Computer Science / Volume 31 / Issue 2 / February 2021
- Published online by Cambridge University Press:
- 19 August 2021, pp. 144-192
-
- Article
-
- You have access
- Open access
- Export citation
Some results related to the continuity problem
-
- Journal:
- Mathematical Structures in Computer Science / Volume 27 / Issue 8 / December 2017
- Published online by Cambridge University Press:
- 13 June 2016, pp. 1601-1624
-
- Article
- Export citation
Preface to the special issue: Continuity, computability, constructivity: from logic to algorithms 2013
-
- Journal:
- Mathematical Structures in Computer Science / Volume 27 / Issue 8 / December 2017
- Published online by Cambridge University Press:
- 09 June 2016, pp. 1285-1286
-
- Article
-
- You have access
- Export citation
Preface to the special issue: Computing with infinite data: topological and logical foundations
-
- Journal:
- Mathematical Structures in Computer Science / Volume 25 / Issue 7 / October 2015
- Published online by Cambridge University Press:
- 13 November 2014, pp. 1463-1465
-
- Article
-
- You have access
- Export citation
Effectivity and effective continuity of multifunctions
-
- Journal:
- The Journal of Symbolic Logic / Volume 75 / Issue 2 / June 2010
- Published online by Cambridge University Press:
- 12 March 2014, pp. 602-640
- Print publication:
- June 2010
-
- Article
- Export citation
On some problems in computable topology
-
-
- Book:
- Logic Colloquium 2005
- Published online:
- 18 December 2009
- Print publication:
- 03 December 2007, pp 221-254
-
- Chapter
- Export citation
The largest Cartesian closed category of domains, considered constructively
-
- Journal:
- Mathematical Structures in Computer Science / Volume 15 / Issue 2 / April 2005
- Published online by Cambridge University Press:
- 14 March 2005, pp. 299-321
-
- Article
- Export citation
Can partial indexings be totalized?
-
- Journal:
- The Journal of Symbolic Logic / Volume 66 / Issue 3 / September 2001
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1157-1185
- Print publication:
- September 2001
-
- Article
- Export citation
Corrigendum
-
- Journal:
- The Journal of Symbolic Logic / Volume 65 / Issue 4 / December 2000
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1917-1918
- Print publication:
- December 2000
-
- Article
- Export citation
On effective topological spaces
-
- Journal:
- The Journal of Symbolic Logic / Volume 63 / Issue 1 / March 1998
- Published online by Cambridge University Press:
- 12 March 2014, pp. 185-221
- Print publication:
- March 1998
-
- Article
- Export citation