Logical frameworks (2001)

by Frank Pfenning
Venue:Handbook of Automated Reasoning, chapter 17