%0 Journal Article %1 journals/iandc/LiquoriR07 %A Liquori, Luigi %A Rocca, Simona Ronchi Della %D 2007 %J Inf. Comput. %K dblp %N 9 %P 1371-1386 %T Intersection-types à la Church. %U http://dblp.uni-trier.de/db/journals/iandc/iandc205.html#LiquoriR07 %V 205

@article{journals/iandc/LiquoriR07, added-at = {2007-10-04T00:00:00.000+0200}, author = {Liquori, Luigi and Rocca, Simona Ronchi Della}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/2e49def00b1d7809c4a667e29e1ba6065/dblp}, ee = {http://dx.doi.org/10.1016/j.ic.2007.03.005}, interhash = {9e40633726ba83230a7f6caddaa000b7}, intrahash = {e49def00b1d7809c4a667e29e1ba6065}, journal = {Inf. Comput.}, keywords = {dblp}, number = 9, pages = {1371-1386}, timestamp = {2016-02-02T05:35:55.000+0100}, title = {Intersection-types à la Church.}, url = {http://dblp.uni-trier.de/db/journals/iandc/iandc205.html#LiquoriR07}, volume = 205, year = 2007 }