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/fscd/LagoG21.rdf
Ugo Dal Lago and Francesco Gavazzo: Resource Transition Systems and Full Abstraction for Linear Higher-Order Effectful Programs. (2021) conf/fscd/LagoG21 10.4230/LIPICS.FSCD.2021.23 Resource Transition Systems and Full Abstraction for Linear Higher-Order Effectful Programs. 2 Ugo Dal Lago 1 Francesco Gavazzo 2 23:1-23:19 FSCD FSCD 2021 2021 provenance information for RDF data of dblp record 'conf/fscd/LagoG21' 2022-01-03T22:34:24+0100