Showing cs.LOShow all
3 papers · 1 filter
cs.LO2024
Typed Non-determinism in Concurrent Calculi: The Eager Way
Bas van den Heuvel, Daniele Nantes-Sobrinho, Joseph W. N. Paulus +1
We consider the problem of designing typed concurrent calculi with non-deterministic choice in which types leverage linearity for controlling resources, thereby ensuring strong cor…
cs.LO2024
Around Classical and Intuitionistic Linear Processes
Juan C. Jaramillo, Dan Frumin, Jorge A. Pérez
Curry-Howard correspondences between Linear Logic (LL) and session types provide a firm foundation for concurrent processes. As the correspondences hold for intuitionistic and clas…
cs.LO2024
Comparing Session Type Systems derived from Linear Logic
Bas van den Heuvel, Jorge A. Pérez
Session types are a typed approach to message-passing concurrency, where types describe sequences of intended exchanges over channels. Session type systems have been given strong l…