A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2022; you can also visit the original URL.
The file type is
35:18 Generalising Projection in Asynchronous Multiparty Session Types ETAPS 2019, Prague, Czech Republic, April 6-11, 2019, Proceedings, volume 11423 of Lecture Notes in Computer Science, pages 583-610 ... Haitao Software, ETAPS 2012, Tallinn, Estonia, March 24 -April 1, 2012. ... Lang., 3(POPL):30:1-30:29, 2019. Bernardo Toninho, Luís Caires, and Frank Pfenning. Dependent session types via intuitionistic linear type theory. ...arXiv:2107.03984v3 fatcat:dcxpflxdwnewffkbz5ftmdhkru