%0 Journal Article %1 journals/corr/abs-2001-07063 %A Madiot, Jean-Marie %A Pous, Damien %A Sangiorgi, Davide %D 2020 %J CoRR %K dblp %T Modular coinduction up-to for higher-order languages via first-order transition systems. %U http://dblp.uni-trier.de/db/journals/corr/corr2001.html#abs-2001-07063 %V abs/2001.07063

@article{journals/corr/abs-2001-07063, added-at = {2020-01-24T00:00:00.000+0100}, author = {Madiot, Jean-Marie and Pous, Damien and Sangiorgi, Davide}, biburl = {https://www.bibsonomy.org/bibtex/25f844c660d2049f8a3288de796ec50b9/dblp}, ee = {https://arxiv.org/abs/2001.07063}, interhash = {e9b825a7115a2c1bb0dfc2d37a224bdf}, intrahash = {5f844c660d2049f8a3288de796ec50b9}, journal = {CoRR}, keywords = {dblp}, timestamp = {2020-01-25T11:38:32.000+0100}, title = {Modular coinduction up-to for higher-order languages via first-order transition systems.}, url = {http://dblp.uni-trier.de/db/journals/corr/corr2001.html#abs-2001-07063}, volume = {abs/2001.07063}, year = 2020 }