Computational metatheory (1988)

by D J Howe
Venue:in Nuprl. CADE-9