General structural operational semantics through categorical logic (Extended Abstract) (2008)

by Sam Staton
Citations:9 - 6 self