SProc Categorically
- 1 January 1994
- book chapter
- Published by Springer Nature
Abstract
No abstract availableKeywords
This publication has 7 references indexed in Scilit:
- Introduction to distributive categoriesMathematical Structures in Computer Science, 1993
- A formalism for the specification of essentially-algebraic structures in 2-categoriesMathematical Structures in Computer Science, 1992
- Games and full Completeness for multiplicative Linear LogicLecture Notes in Computer Science, 1992
- List-arithmetic distributive categories: LocoiJournal of Pure and Applied Algebra, 1990
- A compositional proof system on a category of labelled transition systemsInformation and Computation, 1990
- Cartesian bicategories IJournal of Pure and Applied Algebra, 1987
- Calculi for synchrony and asynchronyTheoretical Computer Science, 1983