Category theory and computer science. Manchester, UK, September 5--8, 1989. Proceedings
DOI10.1007/BFB0018340zbMATH Open0712.68006OpenAlexW4291295066MaRDI QIDQ1801304FDOQ1801304
Author name not available (Why is that?)
Publication date: 5 June 1993
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/bfb0018340
Computer scienceProceedingsCategory theorycategorical datatypescategorical model of linear logicManchester (UK)
Proceedings, conferences, collections, etc. pertaining to computer science (68-06) Abstract data types; algebraic specification (68Q65) Proceedings, conferences, collections, etc. pertaining to category theory (18-06) Foundations, relations to logic and deductive systems (18A15) Categories of machines, automata (18B20)
Cited In (19)
- Category theory. Proceedings of the international conference, held in Como, Italy, July 22-28, 1990
- Category theory and computer science. 7th international conference, CTCS '97, Santa Margherita Ligure, Italy, September 4--6, 1997. Proceedings
- Some fundamental algebraic tools for the semantics of computation: II. Signed and abstract theories
- A modal proof theory for final polynomial coalgebras
- On the final sequence of a finitary set functor
- Categorical methods in computer science. With aspects from topology. International workshop, September 1988, Berlin (West). Proceedings
- Two extensions of system F with (co)iteration and primitive (co)recursion principles
- Final Dialgebras: From Categories to Allegories
- Expressive logics for coalgebras via terminal sequence induction
- Title not available (Why is that?)
- Fixpoint semantics and simulation
- A hidden agenda
- Physics, Topology, Logic and Computation: A Rosetta Stone
- Behavioural differential equations: a coinductive calculus of streams, automata, and power series
- Title not available (Why is that?)
- A tutorial on coinductive stream calculus and signal flow graphs
- Title not available (Why is that?)
- 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.
- Category theory and computer science. 6th international conference, CTCS '95, Cambridge, United Kingdom, August 7--11, 1995. Proceedings
This page was built for publication: Category theory and computer science. Manchester, UK, September 5--8, 1989. Proceedings
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1801304)
