7 results
Asymptotic speedup via effect handlers
- Part of
-
- Journal:
- Journal of Functional Programming / Volume 34 / 2024
- Published online by Cambridge University Press:
- 05 April 2024, e5
-
- Article
-
- You have access
- Open access
- HTML
- Export citation
Computability structures, simulations and realizability
-
- Journal:
- Mathematical Structures in Computer Science / Volume 24 / Issue 2 / April 2014
- Published online by Cambridge University Press:
- 05 June 2013, e240201
-
- Article
- Export citation
A Study Group on the Russian Revolution
-
- Journal:
- International Review of Social History / Volume 19 / Issue 2 / August 1974
- Published online by Cambridge University Press:
- 18 December 2008, p. 164
-
- Article
-
- You have access
- Export citation
On the ubiquity of certain total type structures
-
- Journal:
- Mathematical Structures in Computer Science / Volume 17 / Issue 5 / October 2007
- Published online by Cambridge University Press:
- 01 October 2007, pp. 841-953
-
- Article
- Export citation
Notions of computability at higher types I
- from TUTORIALS
-
-
- Book:
- Logic Colloquium 2000
- Published online:
- 27 June 2017
- Print publication:
- 02 March 2005, pp 32-142
-
- Chapter
- Export citation
A uniform approach to domain theory in realizability models
-
- Journal:
- Mathematical Structures in Computer Science / Volume 7 / Issue 5 / October 1997
- Published online by Cambridge University Press:
- 01 October 1997, pp. 469-505
-
- Article
- Export citation
[no title]
-
- Journal:
- Slavic Review / Volume 33 / Issue 1 / March 1974
- Published online by Cambridge University Press:
- 27 January 2017, pp. 201-202
- Print publication:
- March 1974
-
- Article
-
- You have access
- Export citation