%0 Journal Article %1 journals/tcs/Ayala-RinconFOV18 %A Ayala-Rincón, Mauricio %A Fernández, Maribel %A Oliveira, Ana Cristina Rocha %A Ventura, Daniel Lima %D 2018 %J Theor. Comput. Sci. %K %P 62-80 %T Nominal essential intersection types. %U http://dblp.uni-trier.de/db/journals/tcs/tcs737.html#Ayala-RinconFOV18 %V 737

@article{journals/tcs/Ayala-RinconFOV18, added-at = {2023-12-12T22:06:55.000+0100}, author = {Ayala-Rincón, Mauricio and Fernández, Maribel and Oliveira, Ana Cristina Rocha and Ventura, Daniel Lima}, biburl = {https://www.bibsonomy.org/bibtex/20be0efe08e7831c3fda25e84aab0b055/admin}, ee = {https://www.wikidata.org/entity/Q58001375}, interhash = {4718293827c96042f749346466b690ea}, intrahash = {0be0efe08e7831c3fda25e84aab0b055}, journal = {Theor. Comput. Sci.}, keywords = {}, pages = {62-80}, timestamp = {2023-12-12T22:06:55.000+0100}, title = {Nominal essential intersection types.}, url = {http://dblp.uni-trier.de/db/journals/tcs/tcs737.html#Ayala-RinconFOV18}, volume = 737, year = 2018 }