Publication:5465440
From MaRDI portal
zbMath1083.03056MaRDI QIDQ5465440
Publication date: 22 August 2005
bisimulation; type theory; bisimilarity of states; calculus of terms for operations on coalgebras; coalgebras of polynomial functors
03B45: Modal logic (including the logic of norms)
08A70: Applications of universal algebra in computer science
68Q65: Abstract data types; algebraic specification
68Q85: Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.)
03G30: Categorical logic, topoi
18C50: Categorical semantics of formal languages
Related Items
Observational ultraproducts of polynomial coalgebras., A modal proof theory for final polynomial coalgebras
