13 results
Isomorphism of intersection and union types†
-
- Journal:
- Mathematical Structures in Computer Science / Volume 27 / Issue 5 / June 2017
- Published online by Cambridge University Press:
- 07 August 2015, pp. 603-625
-
- Article
- Export citation
Preface
-
- Journal:
- Mathematical Structures in Computer Science / Volume 27 / Issue 2 / February 2017
- Published online by Cambridge University Press:
- 05 August 2015, pp. 92-93
-
- Article
-
- You have access
- Export citation
Information flow safety in multiparty sessions†
-
- Journal:
- Mathematical Structures in Computer Science / Volume 26 / Issue 8 / December 2016
- Published online by Cambridge University Press:
- 02 January 2015, pp. 1352-1394
-
- Article
- Export citation
Global progress for dynamically interleaved multiparty sessions
-
- Journal:
- Mathematical Structures in Computer Science / Volume 26 / Issue 2 / February 2016
- Published online by Cambridge University Press:
- 10 November 2014, pp. 238-302
-
- Article
- Export citation
Part III - Intersection Types λS∩
-
-
- Book:
- Lambda Calculus with Types
- Published online:
- 05 August 2013
- Print publication:
- 20 June 2013, pp 577-578
-
- Chapter
- Export citation
Deriving session and union types for objects†
-
- Journal:
- Mathematical Structures in Computer Science / Volume 23 / Issue 6 / December 2013
- Published online by Cambridge University Press:
- 09 May 2013, pp. 1163-1219
-
- Article
- Export citation
Extending the lambda-calculus with unbind and rebind
-
- Journal:
- RAIRO - Theoretical Informatics and Applications / Volume 45 / Issue 1 / January 2011
- Published online by Cambridge University Press:
- 15 March 2011, pp. 143-162
- Print publication:
- January 2011
-
- Article
- Export citation
Types for ambient and process mobility†
-
- Journal:
- Mathematical Structures in Computer Science / Volume 18 / Issue 2 / April 2008
- Published online by Cambridge University Press:
- 01 April 2008, pp. 221-290
-
- Article
- Export citation
Boxed ambients with communication interfaces†
-
- Journal:
- Mathematical Structures in Computer Science / Volume 17 / Issue 4 / August 2007
- Published online by Cambridge University Press:
- 01 August 2007, pp. 587-645
-
- Article
- Export citation
Introduction to Special Issue: Intersection types–new insights
-
- Journal:
- Mathematical Structures in Computer Science / Volume 13 / Issue 1 / February 2003
- Published online by Cambridge University Press:
- 04 March 2003, pp. 1-3
-
- Article
- Export citation
Preface
-
- Journal:
- Mathematical Structures in Computer Science / Volume 9 / Issue 4 / August 1999
- Published online by Cambridge University Press:
- 01 August 1999, p. 321
-
- Article
-
- You have access
- Export citation
A filter model for mobile processes
-
- Journal:
- Mathematical Structures in Computer Science / Volume 9 / Issue 1 / February 1999
- Published online by Cambridge University Press:
- 01 February 1999, pp. 63-101
-
- Article
- Export citation
A filter lambda model and the completeness of type assignment1
-
- Journal:
- The Journal of Symbolic Logic / Volume 48 / Issue 4 / December 1983
- Published online by Cambridge University Press:
- 12 March 2014, pp. 931-940
- Print publication:
- December 1983
-
- Article
- Export citation