2 results
The infinitary lambda calculus of the infinite eta Böhm trees
-
- Journal:
- Mathematical Structures in Computer Science / Volume 27 / Issue 5 / June 2017
- Published online by Cambridge University Press:
- 17 August 2015, pp. 681-733
-
- 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