38 citations · 62 across the 12 of their papers we have counts for
Showing 2020 · cs.LOShow all
2 papers · 2 filters
cs.LO2020
Session Coalgebras: A Coalgebraic View on Session Types and Communication Protocols
Alex C. Keizer, Henning Basold, Jorge A. Pérez
Compositional methods are central to the development and verification of software systems. They allow to break down large systems into smaller components, while enabling reasoning…
cs.LO2020★ 9 cited
Session Type Systems based on Linear Logic: Classical versus Intuitionistic
Bas van den Heuvel, Jorge A. Pérez
Session type systems have been given logical foundations via Curry-Howard correspondences based on both intuitionistic and classical linear logic. The type systems derived from the…