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