Towards Effects in Mathematical Operational Semantics

by Faris Abou-saleh , Dirk Pattinson
Citations:1 - 0 self