Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
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
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