Infinitary Normalization (2005)

Cached

Download Links

by Jan Willem Klop , Roel De Vrijer
Venue:We Will Show Them: Essays in Honour of Dov Gabbay
Citations:9 - 4 self