Tensors of comodels and models for operational semantics (2008)

by G Plotkin, J Power
Venue:In Proc. MFPS XXIV, volume 218 of Electr. Notes Theor. Comput. Sci