Template:Bibtex:hl07mechanizing

From The Twelf Project
Jump to: navigation, search

Robert Harper, Daniel R. Licata - Mechanizing Metatheory in a Logical Framework
Journal of Functional Programming ,2007
Bibtex
Author : Robert Harper, Daniel R. Licata
Title : Mechanizing Metatheory in a Logical Framework
In : Journal of Functional Programming -
Address :
Date : 2007