A Framework for Defining Logics (1992)

by Robert Harper, Furio Honsell, Gordon Plotkin
Venue:Journal of the ACM