Trees in distributive categories
- 1 January 1991
- book chapter
- Published by Springer Nature
- p. 237-248
- https://doi.org/10.1007/bfb0084223
Abstract
No abstract availableKeywords
This publication has 5 references indexed in Scilit:
- An imperative language based on distributive categoriesMathematical Structures in Computer Science, 1992
- Introducing a calculus of treesLecture Notes in Computer Science, 1991
- Data types in distributive categoriesBulletin of the Australian Mathematical Society, 1989
- A Calculus of Communicating SystemsLecture Notes in Computer Science, 1980
- Categories for the Working MathematicianPublished by Springer Nature ,1971