Pages that link to "Item:Q1024577"
From MaRDI portal
The following pages link to Special issue: Selected papers of the international category theory conference, CT 2007, Carvoeiro, Portugal, June 2007 (Q1024577):
Displaying 6 items.
- Special issue: Selected papers based on the presentations at the workshop on categorial logic and the conference Unilog 2010, Lisbon, Portugal, June, 2010 (Q366181) (← links)
- Proceedings of the second workshop on applied and computational category theory (ACCAT 2007), Braga, Portugal, March 25, 2007 (Q383100) (← links)
- 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. (Q625619) (← links)
- Category theory and computer science. 7th international conference, CTCS '97, Santa Margherita Ligure, Italy, September 4--6, 1997. Proceedings (Q1366880) (← links)
- Special issue: Papers in honour of Bernhard Banaschewski. Proceedings of the BB Fest 96, a conference on category theory and its applications to topology, order and algebra, Cape Town, South Africa, July 15--20, 1996 (Q1840715) (← links)
- Proceedings of the 3rd Annual International Applied Category Theory Conference 2020 (Q4994498) (← links)
