Computational Metatheory in Nuprl (1988)

by Douglas J Howe
Venue:CADE, volume 310 of LNCS