Mechanised Operational Semantics via (Co)Induction (1999)

by S J Ambler, R L Crole
Venue:In Proceedings of the 12th International Conference on Theorem Proving in Higher Order Logics, volume 1690 of Lecture Notes in Computer Science