1996-06-06
Functorial operational semantics and its denotational dual
Publication
Publication
Additional Metadata | |
---|---|
J.W. de Bakker (Jaco) | |
Vrije Universiteit Amsterdam | |
Turi, D. (1996, June 6). Functorial operational semantics and its denotational dual. |