The practice of logical frameworks (1996)

by Frank Pfenning
Venue:In CAAP ’96, Linköping