R.C de Vrijer. Infinitary Normalization (2005)

by J W Klop
Venue:In We Will Show Them: Essays in Honour of Dov Gabbay (2