A framework for defining logics (1993)

by Robert Harper, Furio Honsell, Gordon Plotkin
Venue:Journal of the Association for Computing Machinery