%0 Journal Article %1 journals/tcs/LagoGT20 %A Lago, Ugo Dal %A Gavazzo, Francesco %A Tanaka, Ryo %D 2020 %J Theor. Comput. Sci. %K dblp %P 234-247 %T Effectful applicative similarity for call-by-name lambda calculi. %U http://dblp.uni-trier.de/db/journals/tcs/tcs813.html#LagoGT20 %V 813

@article{journals/tcs/LagoGT20, added-at = {2022-01-03T00:00:00.000+0100}, author = {Lago, Ugo Dal and Gavazzo, Francesco and Tanaka, Ryo}, biburl = {https://www.bibsonomy.org/bibtex/2af1924fd16ec188d84874c03848a3cc6/dblp}, ee = {https://doi.org/10.1016/j.tcs.2019.12.025}, interhash = {9d2fc68efeb0033170b3fc5a1a9a2c30}, intrahash = {af1924fd16ec188d84874c03848a3cc6}, journal = {Theor. Comput. Sci.}, keywords = {dblp}, pages = {234-247}, timestamp = {2024-04-08T18:40:08.000+0200}, title = {Effectful applicative similarity for call-by-name lambda calculi.}, url = {http://dblp.uni-trier.de/db/journals/tcs/tcs813.html#LagoGT20}, volume = 813, year = 2020 }