Comparing session type systems derived from linear logic

DOI10.1016/j.jlamp.2024.101004MaRDI QIDQ6643467

Bas van den Heuvel, Jorge A. Pérez

Publication date: 26 November 2024

Published in: Journal of Logical and Algebraic Methods in Programming (Search for Journal in Brave)

zbMATH Keywords

linear logicconcurrency\(\pi\)-calculussession types

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Proof-theoretic aspects of linear logic and other substructural logics (03F52)

This page was built for publication: Comparing session type systems derived from linear logic