iBet uBet web content aggregator. Adding the entire web to your favor.
iBet uBet web content aggregator. Adding the entire web to your favor.



Link to original content: https://dblp.org/rec/journals/pacmpl/LagoVMY19.rdf
Ugo Dal Lago et al.: Intersection types and runtime errors in the pi-calculus. (2019) journals/pacmpl/LagoVMY19 10.1145/3290320 Intersection types and runtime errors in the pi-calculus. 4 Ugo Dal Lago 1 Marc de Visme 2 Damiano Mazza 3 Akira Yoshimizu 4 7:1-7:29 Proc. ACM Program. Lang. Proc. ACM Program. Lang. 3 POPL 2019 provenance information for RDF data of dblp record 'journals/pacmpl/LagoVMY19' 2021-02-17T08:54:03+0100