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:6 - 1 self