Polymorphic Session Processes as Morphisms

DOI10.1007/978-3-030-31175-9_7MaRDI QIDQ6489016FDOQ6489016

Authors: Bernardo Toninho, Nobuko Yoshida 

Publication date: 14 March 2024

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

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)

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)