A metalanguage for structural operational semantics (2007)

by Matthew R. Lakin , Andrew M. Pitts
Venue:In Symposium on Trends in Functional Programming
Citations:6 - 1 self