Logical frameworks (2001)

by F Pfenning
Venue:Handbook of Automated Reasoning, chapter 16