1 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