de Vrijer, Infinitary normalization (2005)

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