%0 Journal Article %1 journals/mscs/LagoMS16 %A Lago, Ugo Dal %A Martini, Simone %A Sangiorgi, Davide %D 2016 %J Math. Struct. Comput. Sci. %K %N 6 %P 969-992 %T Light logics and higher-order processes. %U http://dblp.uni-trier.de/db/journals/mscs/mscs26.html#LagoMS16 %V 26

@article{journals/mscs/LagoMS16, added-at = {2023-12-13T09:16:34.000+0100}, author = {Lago, Ugo Dal and Martini, Simone and Sangiorgi, Davide}, biburl = {https://www.bibsonomy.org/bibtex/289f0ae8f73a75b8b0366127c7cb056b7/admin}, ee = {https://doi.org/10.1017/S0960129514000310}, interhash = {cc6426ffa50637e08f1778b40256cf5b}, intrahash = {89f0ae8f73a75b8b0366127c7cb056b7}, journal = {Math. Struct. Comput. Sci.}, keywords = {}, number = 6, pages = {969-992}, timestamp = {2023-12-13T09:16:34.000+0100}, title = {Light logics and higher-order processes.}, url = {http://dblp.uni-trier.de/db/journals/mscs/mscs26.html#LagoMS16}, volume = 26, year = 2016 }