1987] "A framework for defining logics (1987)

by R Harper, F Honsell, G Plotkin
Venue:LICS