The practice of logical frameworks (1996)

by F Pfenning
Venue:Proceedings of CAAP'96, LNCS 1059