Logical frameworks (2001)

by F Pfenning
Venue:In Handbook of Automated Reasoning, volume II, chapter 17