Vries. Infinitary lambda calculus (1997)

by J R Kennaway, J W Klop, R Sleep, F J de
Venue:TCS