Polymorphic Session Processes as Morphisms

DOI10.1007/978-3-030-31175-9_7MaRDI QIDQ6489016zbMATH OpenFDO

Authors Bernardo Toninho, Nobuko Yoshida

Publication date 14 March 2024

Full work available at URL https://doi.org/10.1007/978-3-030-31175-9_7

Mathematics Subject Classification ID

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

Recommendations

• Behavioral polymorphism and parametricity in session-based communication
• On polymorphic sessions and functions. A tale of two (fully abstract) encodings
• An extensible approach to session polymorphism
• Session types revisited
• Nested session types

This page was built for publication: Polymorphic Session Processes as Morphisms

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6489016)