Ordinal Arithmetic: A Case Study for Rippling in a Higher Order Domain (2001)

Cached

Download Links

by Louise A. Dennis , Alan Smaill
Venue:In TPHOLs’01, volume 2152 of LNCS
Citations:5 - 0 self