Tensors of Comodels and Models for Operational Semantics

by Gordon Plotkin , John Power
Citations:4 - 1 self