On polymorphic sessions and functions. A tale of two (fully abstract) encodings

DOI10.1007/978-3-319-89884-1_29zbMath1418.68068arXiv1711.00878OpenAlexW2797067244MaRDI QIDQ2324009

Nobuko Yoshida, Bernardo Toninho

Publication date: 13 September 2019

Full work available at URL: https://arxiv.org/abs/1711.00878

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18) Logic in computer science (03B70) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Related Items (3)

Eager functions as processes ⋮ Fairness and communication-based semantics for session-typed languages ⋮ Non-Deterministic Functions as Non-Deterministic Processes (Extended Version)

This page was built for publication: On polymorphic sessions and functions. A tale of two (fully abstract) encodings