Template:Bibtex:hhp93lf

From The Twelf Project
Jump to: navigation, search

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