Symmetric monoidal sketches

Authors:
Martin Hyland;John Power
Affiliations:
Department of Pure Mathematics and Mathematical Statistics, University of Cambridge, Mill Lane, Cambridge CB2 1SB, England;Laboratory for the Foundations of Computer Science, University of Edinburgh, King's Buildings, Edinburgh EH9 3JZ, Scotland
Venue:
Proceedings of the 2nd ACM SIGPLAN international conference on Principles and practice of declarative programming
Year:
2000

Elementary Control Structures

CONCUR '96 Proceedings of the 7th International Conference on Concurrency Theory
Control Structures

LICS '95 Proceedings of the 10th Annual IEEE Symposium on Logic in Computer Science
Complete Cuboidal Sets in Axiomatic Domain Theory

LICS '97 Proceedings of the 12th Annual IEEE Symposium on Logic in Computer Science
A Theory of Recursive Domains with Applications to Concurrency

LICS '98 Proceedings of the 13th Annual IEEE Symposium on Logic in Computer Science
An Axiomatics for Categories of Transition Systems as Coalgebras

LICS '98 Proceedings of the 13th Annual IEEE Symposium on Logic in Computer Science

From Comodels to Coalgebras: State and Arrays

Electronic Notes in Theoretical Computer Science (ENTCS)
Symmetric Monoidal Sketches and Categories of Wirings

Electronic Notes in Theoretical Computer Science (ENTCS)
The structure of first-order causality

Mathematical Structures in Computer Science

Hi-index	0.00