The uniformity principle on traced monoidal categories

Electronic Notes in Theoretical Computer Science

Volumn 69, Issue , 2003, Pages 137-155

  Hasegawa, Masahito ^a  

^a KYOTO UNIVERSITY   (Japan)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER SIMULATION; FUNCTIONS; MATHEMATICAL MODELS; MATHEMATICAL OPERATORS; MATHEMATICAL TRANSFORMATIONS; PROBABILITY; PROBLEM SOLVING; SET THEORY; THEOREM PROVING;

ASYNCHRONOUS COMMUNICATIONS; FEEDBACK OPERATORS; GEOMETRIC STRUCTURES; MONOIDS;

LINEAR ALGEBRA;

EID: 0942291425     PISSN: 15710661     EISSN: None     Source Type: Journal    
DOI: 10.1016/S1571-0661(04)80563-2     Document Type: Conference Paper

References (13)

1. Abramsky S. Retracing some paths in process algebra. in "Proc. Concurrency Theory (CONCUR'96)", Springer Lecture Notes in Computer Science. 1119:1996;1-17
2. Arbib A.M., Manes E.G. Partially additive categories and flow diagram semantics. J. Algebra. 62:1980;203-227
3. Bloom S., Ésik Z. "Iteration Theories" EATCS Monographs on Theoretical Computer Science. 1993;Springer-Verlag
4. Borceux F. "Handbook of Categorical Algebra 2: Categories and Structures" Encyclopedia of Mathematics 51. 1994;Cambridge University Press
5. Haghverdi E., "A Categorical Approach to Linear Logic, Geometry of Interaction and Full Completeness", PhD thesis, University of Ottawa, 2000.
6. Hasegawa M. Recursion from cyclic sharing: traced monoidal categories and models of cyclic lambda calculi. in "Proc. Typed Lambda Calculi and Applications (TLCA'97)", Springer Lecture Notes in Computer Science. 1210:1997;196-213
7. Hasegawa M., "Models of Sharing Graphs: A Categorical Semantics of let and letrec", PhD thesis ECS-LFCS-97-360, University of Edinburgh, 1997 / Distinguished Dissertation Series, Springer-Verlag, 1999.
8. Joyal A., Street R. Geometry of tensor calculus I. Adv. Math. 88:1991;55-113
9. Joyal A., Street R., Verity D. Traced monoidal categories. Math. Proc. Cambridge Phil. Soc. 119:(3):1996;447-468
10. Kelly G.M. "Basic Concepts of Enriched Category Theory" London Mathematical Society Lecture Note Series 64. 1982;Cambridge University Press
11. Selinger P. Categorical structure of asynchronomy. in "Proc. 15th Mathematical Foundations of Programming Semantics (MFPS)", Electronic Notes in Theoretical Computer Science. 20:1999
12. Simpson, A. and G. Plotkin, Complete axioms for categorical fixed-point operators, in "Proc. 15th Logic in Computer Science (LICS 2000)", pp. 30-41
13. Ştefǎnescu G. "Network Algebra" Discrete Mathematics and Theoretical Computer Science Series. 2000;Springer-Verlag