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

by Sam Staton
Citations:7 - 6 self