de Vrijer, Infinitary normalization (0)

by J W Klop, R C
Venue:We Will Show Them: Essays in Honour of Dov Gabbay. 2, College Publications, 2005, 169–192. with Capsules 203