Duality of Equations and Coequations via Contravariant Adjunctions

Coalgebraic Methods in Computer Science - Lecture Notes in Computer Science ◽

10.1007/978-3-319-40370-0_6 ◽

2016 ◽

pp. 73-93

Author(s):

Julian Salamanca ◽

Marcello Bonsangue ◽

Jurriaan Rot

Download Full-text