Pages that link to "Item:Q1801304"
From MaRDI portal
The following pages link to Category theory and computer science. Manchester, UK, September 5--8, 1989. Proceedings (Q1801304):
Displaying 19 items.
- On the final sequence of a finitary set functor (Q557796) (← links)
- Expressive logics for coalgebras via terminal sequence induction (Q558417) (← 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)
- Some fundamental algebraic tools for the semantics of computation: II. Signed and abstract theories (Q1059405) (← links)
- Category theory. Proceedings of the international conference, held in Como, Italy, July 22-28, 1990 (Q1189372) (← links)
- Category theory and computer science. 7th international conference, CTCS '97, Santa Margherita Ligure, Italy, September 4--6, 1997. Proceedings (Q1366880) (← links)
- Fixpoint semantics and simulation (Q1575253) (← links)
- A hidden agenda (Q1575735) (← links)
- Categorical methods in computer science. With aspects from topology. International workshop, September 1988, Berlin (West). Proceedings (Q1801317) (← links)
- Behavioural differential equations: a coinductive calculus of streams, automata, and power series (Q1884876) (← links)
- Category theory and computer science. 6th international conference, CTCS '95, Cambridge, United Kingdom, August 7--11, 1995. Proceedings (Q1897000) (← links)
- A modal proof theory for final polynomial coalgebras (Q2503317) (← links)
- A tutorial on coinductive stream calculus and signal flow graphs (Q2571208) (← links)
- Physics, Topology, Logic and Computation: A Rosetta Stone (Q3000920) (← links)
- (Q3138536) (← links)
- Two extensions of system F with (co)iteration and primitive (co)recursion principles (Q3653093) (← links)
- (Q4023721) (← links)
- (Q4882485) (← links)
- Final Dialgebras: From Categories to Allegories (Q4943551) (← links)
