Theorem Proving/Logical Frameworks
The Practice of Logical Frameworks
Frank Pfenning[H\'el\`ene Kirchner (ed)]
(inproceedings, 1996)
cr3@ukc.ac.uk
![[-]](http://www.cs.ukc.ac.uk/people/staff//cr3/icons/tbook_empty.gif){kind=spacer}
The Practice of Logical Frameworks
The Practice of Logical Frameworks