%0 Journal Article %1 journals/tcs/Dezani-CiancagliniSV03 %A Dezani-Ciancaglini, Mariangiola %A Severi, Paula %A de Vries, Fer-Jan %D 2003 %J Theor. Comput. Sci. %K dblp %N 2 %P 275-302 %T Infinitary lambda calculus and discrimination of Berarducci trees. %U http://dblp.uni-trier.de/db/journals/tcs/tcs298.html#Dezani-CiancagliniSV03 %V 298

@article{journals/tcs/Dezani-CiancagliniSV03, added-at = {2017-05-28T00:00:00.000+0200}, author = {Dezani-Ciancaglini, Mariangiola and Severi, Paula and de Vries, Fer-Jan}, biburl = {https://www.bibsonomy.org/bibtex/26831a7ec50f7a98be2ff6f01197d4cd2/dblp}, ee = {https://doi.org/10.1016/S0304-3975(02)00809-5}, interhash = {a982931bd5ccd1cb52910cb2bb11ab94}, intrahash = {6831a7ec50f7a98be2ff6f01197d4cd2}, journal = {Theor. Comput. Sci.}, keywords = {dblp}, number = 2, pages = {275-302}, timestamp = {2017-06-01T00:14:21.000+0200}, title = {Infinitary lambda calculus and discrimination of Berarducci trees.}, url = {http://dblp.uni-trier.de/db/journals/tcs/tcs298.html#Dezani-CiancagliniSV03}, volume = 298, year = 2003 }