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

Filter your results

2 results
authFullName_s : Marcello Bonsangue
Page :
sorted by
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
Image document

Unbounded Allocation in Bounded Heaps

 Jurriaan Rot , Frank De Boer , Marcello Bonsangue
5th International Conference on Fundamentals of Software Engineering (FSEN), Apr 2013, Tehran, Iran. pp.1-16, ⟨10.1007/978-3-642-40213-5_1⟩
Conference papers hal-01514664v1
Page :