Nested session types

From MaRDI portal
Publication:2233456

DOI10.1007/978-3-030-72019-3_7zbMath1473.68113arXiv2010.06482OpenAlexW3149247157MaRDI QIDQ2233456

Frank Pfenning, Henry DeYoung, Ankush Das, Andreia Mordido

Publication date: 18 October 2021

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




Related Items (4)



Cites Work




This page was built for publication: Nested session types