Template:Bibtex:hhp93lf
From The Twelf Project
Robert Harper, Furio Honsell, Gordon Plotkin - A framework for defining logics
- J. ACM 40(1):143--184, New York, NY, USA,1993
- BibtexAuthor : Robert Harper, Furio Honsell, Gordon Plotkin
Title : A framework for defining logics
In : J. ACM -
Address : New York, NY, USA
Date : 1993
