A metalanguage for structural operational semantics (2007)

by Matthew R Lakin, Andrew M Pitts
Venue:In Symposium on Trends in Functional Programming