Logical Frameworks, chapter XXI (0)

by F Pfenning
Venue:In Robinson and Voronkov