Vries. Infinitary lambda calculus (1997)

by R Kennaway, J Klop, M Sleep, F-J de
Venue:Theoretical Computer Science