9 results
Preface to the special issue on metric and differential semantics
-
- Journal:
- Mathematical Structures in Computer Science / Volume 33 / Issue 4-5 / April 2023
- Published online by Cambridge University Press:
- 07 August 2023, pp. 180-181
-
- Article
-
- You have access
- HTML
- Export citation
The geometry of Bayesian programming
-
- Journal:
- Mathematical Structures in Computer Science / Volume 31 / Issue 6 / June 2021
- Published online by Cambridge University Press:
- 07 December 2021, pp. 633-681
-
- Article
-
- You have access
- Open access
- Export citation
4 - On Probabilistic λ-Calculi
-
-
- Book:
- Foundations of Probabilistic Programming
- Published online:
- 18 November 2020
- Print publication:
- 03 December 2020, pp 121-144
-
- Chapter
-
- You have access
- Open access
- Export citation
On session types and polynomial time
-
- Journal:
- Mathematical Structures in Computer Science / Volume 26 / Issue 8 / December 2016
- Published online by Cambridge University Press:
- 14 January 2015, pp. 1433-1458
-
- Article
- Export citation
Light logics and higher-order processes
-
- Journal:
- Mathematical Structures in Computer Science / Volume 26 / Issue 6 / September 2016
- Published online by Cambridge University Press:
- 17 November 2014, pp. 969-992
-
- Article
- Export citation
Probabilistic operational semantics for the lambda calculus
-
- Journal:
- RAIRO - Theoretical Informatics and Applications / Volume 46 / Issue 3 / July 2012
- Published online by Cambridge University Press:
- 22 June 2012, pp. 413-450
- Print publication:
- July 2012
-
- Article
- Export citation
On quasi-interpretations, blind abstractions and implicit complexity†
-
- Journal:
- Mathematical Structures in Computer Science / Volume 22 / Issue 4 / August 2012
- Published online by Cambridge University Press:
- 02 February 2012, pp. 549-580
-
- Article
- Export citation
On a measurement-free quantum lambda calculus with classical control
-
- Journal:
- Mathematical Structures in Computer Science / Volume 19 / Issue 2 / April 2009
- Published online by Cambridge University Press:
- 01 April 2009, pp. 297-335
-
- Article
- Export citation
On light logics, uniform encodings and polynomial time
-
- Journal:
- Mathematical Structures in Computer Science / Volume 16 / Issue 4 / August 2006
- Published online by Cambridge University Press:
- 07 July 2006, pp. 713-733
-
- Article
- Export citation