Abstract Semantics by Observable Contexts (2008)

by Filippo Bonchi
Citations:9 - 3 self