Mechanized metatheory model-checking (2007)

by J Cheney, A Momigliano
Venue:in ‘PPDP ’07: Proceedings of the 9th ACM SIGPLAN international symposium on Principles and