Search - IFIP - Lecture Notes in Computer Science Access content directly

Filter your results

1 Array
Deposit type : Fulltext
labStructName_s : Leiden Institute of Advanced Computer Science [Leiden]
Image document

Duality of Equations and Coequations via Contravariant Adjunctions

Julian Salamanca , Marcello Bonsangue , Jurriaan Rot
13th International Workshop on Coalgebraic Methods in Computer Science (CMCS), Apr 2016, Eindhoven, Netherlands. pp.73-93, ⟨10.1007/978-3-319-40370-0_6⟩
Conference papers hal-01446034v1