scientific article; zbMATH DE number 1499095

MaRDI QIDQ4501149zbMATH OpenFDO

Authors Bart Jacobs

Publication date 3 September 2000

zbMATH Keywords

canonical comonadcategorical semanticscategories of coalgebrascontinuous posetslinear logic

Mathematics Subject Classification ID

Logic in computer science (03B70) Proof-theoretic aspects of linear logic and other substructural logics (03F52) Categorical logic, topoi (03G30)

Recommendations

• Cofree coalgebras and differential linear logic
• On the structure of categories of coalgebras
• From modal logic to terminal coalgebras
• scientific article; zbMATH DE number 1231631
• On a categorical framework for coalgebraic modal logic

Cited in

(7)

• On \(\mathbf{MV} \)-coalgebras over the category of BL-algebras
• Linear types and approximation
• Approximation of nested fixpoints -- a coalgebraic view of parametric dataypes
• Bases as coalgebras
• Monadic aspects of the ideal lattice functor on the category of distributive lattices
• Sifted colimits, strongly finitary monads and continuous algebras
• Simulations in coalgebra

This page was built for publication:

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