3 results
Transport of finiteness structures and applications
-
- Journal:
- Mathematical Structures in Computer Science / Volume 28 / Issue 7 / August 2018
- Published online by Cambridge University Press:
- 05 December 2016, pp. 1061-1096
-
- Article
- Export citation
A non-uniform finitary relational semantics of system T∗
-
- Journal:
- RAIRO - Theoretical Informatics and Applications / Volume 47 / Issue 1 / January 2013
- Published online by Cambridge University Press:
- 10 January 2013, pp. 111-132
- Print publication:
- January 2013
-
- Article
- Export citation
The algebraic lambda calculus
-
- Journal:
- Mathematical Structures in Computer Science / Volume 19 / Issue 5 / October 2009
- Published online by Cambridge University Press:
- 24 August 2009, pp. 1029-1059
-
- Article
- Export citation