A framework for defining logics. In (1987)

by R Harper, F Honsell, G Plotkin
Venue:Symposium on Logic in Computer Science,