A framework for de logics (1993)

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