@inbook{c30afd887cd44180b0b9e136d5aa768c,
title = "Polymorphic Session Processes as Morphisms",
abstract = "The study of expressiveness of concurrent processes via session types opens a connection between linear logic and mobile processes, grounded in the rigorous logical background of propositions-as-types. One such study includes a notion of parametric session polymorphism, which connects session typed processes with rich higher-order functional computations. This work proposes a novel and non-trivial application of session parametricity – an encoding of inductive and coinductive session types, justified via the theory of initial algebras and final co-algebras using a processes-as-morphisms viewpoint. The correctness of the encoding (i.e. universality) relies crucially on parametricity and the associated relational lifting of sessions.",
keywords = "Expressiveness, F-Algebra, Linear logic, Session types, π -calculus",
author = "Bernardo Toninho and Nobuko Yoshida",
note = "EP/K034413/1, EP/K011715/1 EP/L00058X/1 EP/N027833/1 EP/N028201/1 UID/CEC/04516/2019 Sem PDF conforme despacho.",
year = "2019",
doi = "10.1007/978-3-030-31175-9_7",
language = "English",
isbn = "978-3-030-31174-2",
series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
publisher = "Springer Verlag",
pages = "101--117",
editor = "M. Alvim and K. Chatzikokolakis and C. Olarte and {Valencia }, F.",
booktitle = "The Art of Modelling Computational Systems: A Journey from Logic and Concurrency to Security and Privacy - Essays Dedicated to Catuscia Palamidessi on the Occasion of Her 60th Birthday",
address = "Germany",
}