From SOS rules to proof principles: An operational metatheory for functional languages (1997)

by D Sands
Venue:In Proceedings of the 24th ACM SIGPLANSIGACT Symposium on Principles of Programming Languages (POPL’97