Vries. Infinitary lambda calculus (1997)

by J R Kennaway, J W Klop, M R Sleep, F J de
Venue:Klo80] [Klo92] [KP93] Jan Willem Klop. Combinatory Reduction Systems. PhD thesis, CWI, 1980. Mathematical Centre Tracts 127