Proceedings of the second workshop on applied and computational category theory (ACCAT 2007), Braga, Portugal, March 25, 2007

MaRDI QIDQ383100zbMATH OpenFDO

Authors

Publication date 25 November 2013

Published in Electronic Notes in Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL http://www.sciencedirect.com/science/journal/15710661/203/6

Mathematics Subject Classification ID

Proceedings of conferences of miscellaneous specific interest (00B25) Proceedings, conferences, collections, etc. pertaining to computer science (68-06) Abstract data types; algebraic specification (68Q65) Categories of machines, automata (18B20)

Recommendations

• Proceedings of the 3rd Annual International Applied Category Theory Conference 2020
• Special issue: Applied and computational category theory. Selected papers based on the presentations at the 3rd ACCAT workshop at ETAPS, Budapest, Hungary, March 29 -- April 6, 2008, and 4th ACCAT workshop at ETAPS, York, England, March 22 -- 29, 2009.
• Special issue: Selected papers of the international category theory conference, CT 2007, Carvoeiro, Portugal, June 2007
• scientific article; zbMATH DE number 7750569
• Proceedings of the applied category theory 2019, ACT 2019, University of Oxford, UK, July 15--19, 2019
• Proceedings Fifth International Conference on Applied Category Theory
• Proceedings of the 10th conference on category theory in computer science (CTCS 2004), Copenhagen, Denmark, August 12--14, 2004
• Category theory and computer science. 7th international conference, CTCS '97, Santa Margherita Ligure, Italy, September 4--6, 1997. Proceedings
• scientific article; zbMATH DE number 5144834
• Category theory. Proceedings of the international conference, held in Como, Italy, July 22-28, 1990

Cited in

(2)

• Proceedings of the 3rd Annual International Applied Category Theory Conference 2020
• Special issue: Applied and computational category theory. Selected papers based on the presentations at the 3rd ACCAT workshop at ETAPS, Budapest, Hungary, March 29 -- April 6, 2008, and 4th ACCAT workshop at ETAPS, York, England, March 22 -- 29, 2009.

This page was built for publication: Proceedings of the second workshop on applied and computational category theory (ACCAT 2007), Braga, Portugal, March 25, 2007

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q383100)