Infinitary Normalization (2005)

by J W Klop, R C de Vrijer
Venue:In We Will Show Them: Essays in Honour of Dov Gabbay