Keywords
- Binary Tree
- Canonical Isomorphism
- Label Transition System
- Finite Product
- Label Tree
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.
This is a preview of subscription content, access via your institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
Unable to display preview. Download preview PDF.
References
J. Bénabou. Lectures held at the Mathematics and Computer Science Departments of the University of Milano, and talk at the Category Theory '90 Conference in Como. 1990.
J.R.B. Cockett. Introduction to distributive categories. Technical Report 90-0052C, Macquarie University, May 1990.
P. Degano, S. Kasangian, and S. Vigna. Applications of the calculus of trees to process description languages. Submitted.
D.E. Knuth. The Art of Computer Programming. Addison-Wesley, 1973.
S. Kasangian and S. Vigna. Introducing a calculus of trees. In Proceedings of the International Joint Conference on Theory and Practice of Software Development (TAPSOFT/CAAP '91), number 493 in Lecture Notes in Computer Science, pages 215–240, 1991.
F.W. Lawvere. Categories of space and of quantity. In Proceedings on Structures and Mathematical Theories, S. Sebastian, 1990.
S. Mac Lane. Categories for the Working Mathematician. Springer-Verlag, 1971.
R. Milner. A Calculus of Communicating Systems. Number 92 in Lecture Notes in Computer Science. Springer-Verlag, 1980.
R. Milner. Communication and Concurrency. International Series in Computer Science. Prentice Hall, 1989.
R.F.C. Walters. An imperative language based on distributive categories. Mathematical Structures in Computer Science. To appear.
R.F.C. Walters. Data types in a distributive category. Bull. Austr. Math. Soc., 40:79–82, 1989.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Additional information
Dedicated to Max Kelly in the occasion of his 60th birthday.
Rights and permissions
Copyright information
© 1991 Springer-Verlag
About this paper
Cite this paper
Kasangian, S., Vigna, S. (1991). Trees in distributive categories. In: Carboni, A., Pedicchio, M.C., Rosolini, G. (eds) Category Theory. Lecture Notes in Mathematics, vol 1488. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0084223
Download citation
DOI: https://doi.org/10.1007/BFb0084223
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-54706-8
Online ISBN: 978-3-540-46435-8
eBook Packages: Springer Book Archive
