The infinitary lambda calculus of the infinite eta Böhm trees.
Saved in:
| Title: | The infinitary lambda calculus of the infinite eta Böhm trees. |
|---|---|
| Authors: | SEVERI, PAULA1 pgs11@le.ac.uk, DE VRIES, FER-JAN1 fdv1@mcs.le.ac.uk |
| Source: | Mathematical Structures in Computer Science. Jun2017, Vol. 27 Issue 5, p681-733. 53p. |
| Database: | Mathematics Source |
Be the first to leave a comment!
