The infinitary lambda calculus of the infinite eta Böhm trees.

Saved in:

Bibliographic Details
Title:	The infinitary lambda calculus of the infinite eta Böhm trees.
Authors:	SEVERI, PAULA¹ pgs11@le.ac.uk, DE VRIES, FER-JAN¹ fdv1@mcs.le.ac.uk
Source:	Mathematical Structures in Computer Science. Jun2017, Vol. 27 Issue 5, p681-733. 53p.
Database:	Mathematics Source

Description
ISSN:	09601295
DOI:	10.1017/S096012951500033X