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

DOI10.1007/978-3-319-89884-1_29zbMath1418.68068arXiv1711.00878MaRDI 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

68N18: Functional programming and lambda calculus

03B70: Logic in computer science

68N30: Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.)