The practice of logical frameworks (1996)

by Frank Pfenning
Venue:Proceedings of the Colloquium on Trees in Algebra and Programming