3 results
Computing with lambda-terms: A special issue dedicated to Corrado Böhm for his 90th birthday
-
- Journal:
- Mathematical Structures in Computer Science / Volume 27 / Issue 5 / June 2017
- Published online by Cambridge University Press:
- 20 July 2015, pp. 557-559
-
- Article
-
- You have access
- Export citation
Contributors
-
-
- Book:
- Case Studies in Epilepsy
- Published online:
- 05 December 2012
- Print publication:
- 22 November 2012, pp viii-x
-
- Chapter
- Export citation
2 - Proof Nets and the λ-Calculus
-
-
- Book:
- Linear Logic in Computer Science
- Published online:
- 17 May 2010
- Print publication:
- 15 November 2004, pp 65-118
-
- Chapter
- Export citation