Tensors of Comodels and Models for Operational Semantics

Gordon D. Plotkin, John Power. Tensors of Comodels and Models for Operational Semantics. Electronic Notes in Theoretical Computer Science, 218:295-311, 2008. [doi]

Authors

Gordon D. Plotkin

Identified as Gordon D. Plotkin

John Power

This author has not been identified. It may be one of the following persons: Look up 'John Power' in Google