Ordinal arithmetic: A case study for rippling in a higher order domain (2001)

by L A Dennis, A Smaill
Venue:In TPHOLs’01, volume 2152 of LNCS