Sleep and F.J. de Vries. Infinitary lambda calculus, Theoret (1997)

by J W Klop J R Kennaway, M R
Venue:Comput. Sci