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/conf/popl/LagoP13.xml
Ugo Dal Lago Barbara Petit The geometry of types. 167-178 2013 POPL https://doi.org/10.1145/2429069.2429090 https://doi.org/10.1145/2480359.2429090 conf/popl/2013 db/conf/popl/popl2013.html#LagoP13