8 results
Robustness, Scott continuity, and computability
-
- Journal:
- Mathematical Structures in Computer Science / Volume 33 / Issue 6 / June 2023
- Published online by Cambridge University Press:
- 04 August 2023, pp. 536-572
-
- Article
-
- You have access
- Open access
- HTML
- Export citation
Foreword ICTCS 2010 special issue
-
- Journal:
- RAIRO - Theoretical Informatics and Applications / Volume 46 / Issue 2 / April 2012
- Published online by Cambridge University Press:
- 21 February 2012, p. 201
- Print publication:
- April 2012
-
- Article
-
- You have access
- Export citation
A category-theoretic account of program modules
-
- Journal:
- Mathematical Structures in Computer Science / Volume 1 / Issue 1 / March 1991
- Published online by Cambridge University Press:
- 04 March 2009, pp. 103-139
-
- Article
- Export citation
Constructive natural deduction and its ‘ω-set’ interpretation†
-
- Journal:
- Mathematical Structures in Computer Science / Volume 1 / Issue 2 / July 1991
- Published online by Cambridge University Press:
- 04 March 2009, pp. 215-254
-
- Article
- Export citation
An abstract monadic semantics for value recursion
-
- Journal:
- RAIRO - Theoretical Informatics and Applications / Volume 38 / Issue 4 / October 2004
- Published online by Cambridge University Press:
- 15 October 2004, pp. 375-400
- Print publication:
- October 2004
-
- Article
- Export citation
MetaKlaim: a type safe multi-stage language for global computing
-
- Journal:
- Mathematical Structures in Computer Science / Volume 14 / Issue 3 / June 2004
- Published online by Cambridge University Press:
- 20 May 2004, pp. 367-395
-
- Article
- Export citation
Special issue: Modalities in type theory
-
- Journal:
- Mathematical Structures in Computer Science / Volume 11 / Issue 4 / August 2001
- Published online by Cambridge University Press:
- 25 July 2001, pp. 507-509
-
- Article
- Export citation
Metalanguages and Applications
-
-
- Book:
- Semantics and Logics of Computation
- Published online:
- 15 September 2009
- Print publication:
- 30 January 1997, pp 185-240
-
- Chapter
- Export citation