Export
APA
Ankush Das, Henry DeYoung, Andreia Mordido, Frank Pfenning, (2021). Nested Session Types. Programming Languages and Systems,Lecture Notes in Computer Science , -
IEEE
Ankush Das, Henry DeYoung, Andreia Mordido, Frank Pfenning, "Nested Session Types" in Programming Languages and Systems,Lecture Notes in Computer Science , , 2021, pp. -,
doi: https://doi.org/10.1007/978-3-030-72019-3_7
BIBTEX
@InProceedings{49697,
author = {Ankush Das and Henry DeYoung and Andreia Mordido and Frank Pfenning},
title = {Nested Session Types},
booktitle = {Programming Languages and Systems,Lecture Notes in Computer Science },
year = 2021,
pages = {-},
address = {},
publisher = {Springer International Publishing}
}