A framework for de��ning logics (1942)

by R Harper, F Honsel, G Plotkin
Venue:In Proceedings of the second annual IEEE symposium on logic in computer science