%0 Journal Article %1 journals/fuin/DownenAG19 %A Downen, Paul %A Ariola, Zena M. %A Ghilezan, Silvia %D 2019 %J Fundam. Informaticae %K dblp %N 1-3 %P 39-92 %T The Duality of Classical Intersection and Union Types. %U http://dblp.uni-trier.de/db/journals/fuin/fuin170.html#DownenAG19 %V 170

@article{journals/fuin/DownenAG19, added-at = {2021-07-25T00:00:00.000+0200}, author = {Downen, Paul and Ariola, Zena M. and Ghilezan, Silvia}, biburl = {https://www.bibsonomy.org/bibtex/216a57449840268c3f05bbb9bc7c80b02/dblp}, ee = {https://doi.org/10.3233/FI-2019-1855}, interhash = {63a0e42bf53ecbe139941757cc4a6854}, intrahash = {16a57449840268c3f05bbb9bc7c80b02}, journal = {Fundam. Informaticae}, keywords = {dblp}, number = {1-3}, pages = {39-92}, timestamp = {2024-04-08T10:04:26.000+0200}, title = {The Duality of Classical Intersection and Union Types.}, url = {http://dblp.uni-trier.de/db/journals/fuin/fuin170.html#DownenAG19}, volume = 170, year = 2019 }