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/corr/LagoGL17.xml
Ugo Dal Lago Francesco Gavazzo Paul Blain Levy Effectful Applicative Bisimilarity: Monads, Relators, and Howe's Method (Long Version). 2017 abs/1704.04647 CoRR http://arxiv.org/abs/1704.04647 db/journals/corr/corr1704.html#LagoGL17