Logical Frameworks [chapter]

Frank Pfenning
2001 Handbook of Automated Reasoning  
doi:10.1016/b978-044450813-3/50019-9 fatcat:h5gede7ne5eidp5d5aqyviuo3q