External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

Enriched Categories for Local and Interaction Calculi

Stefano Kasangian, Anna Labella, Alberto Pettorossi. Enriched Categories for Local and Interaction Calculi. In David H. Pitt, Axel Poigné, David E. Rydeheard, editors, Category Theory and Computer Science, Edinburgh, UK, September 7-9, 1987, Proceedings. Volume 283 of Lecture Notes in Computer Science, pages 57-70, Springer, 1987.

Authors

Stefano Kasangian

This author has not been identified. Look up 'Stefano Kasangian' in Google

Anna Labella

This author has not been identified. Look up 'Anna Labella' in Google

Alberto Pettorossi

This author has not been identified. Look up 'Alberto Pettorossi' in Google
runs on