Category theory and computer science. Manchester, UK, September 5--8, 1989. Proceedings

DOI10.1007/BFb0018340zbMath0712.68006OpenAlexW4291295066MaRDI QIDQ1801304

No author found.

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

zbMATH Keywords

ProceedingsComputer scienceCategory theorycategorical datatypescategorical model of linear logicManchester (UK)

Mathematics Subject Classification ID

Proceedings, conferences, collections, etc. pertaining to computer science (68-06) Abstract data types; algebraic specification (68Q65) Categories of machines, automata (18B20) Proceedings, conferences, collections, etc. pertaining to category theory (18-06) Foundations, relations to logic and deductive systems (18A15)

Related Items (9)

Behavioural differential equations: a coinductive calculus of streams, automata, and power series ⋮ On the final sequence of a finitary set functor ⋮ Expressive logics for coalgebras via terminal sequence induction ⋮ Final Dialgebras: From Categories to Allegories ⋮ A modal proof theory for final polynomial coalgebras ⋮ Two extensions of system F with (co)iteration and primitive (co)recursion principles ⋮ Fixpoint semantics and simulation ⋮ A hidden agenda ⋮ A tutorial on coinductive stream calculus and signal flow graphs

This page was built for publication: Category theory and computer science. Manchester, UK, September 5--8, 1989. Proceedings