%0 Journal Article %1 journals/entcs/CamaraoF98 %A Camarão, Carlos %A Figueiredo, Lucília %D 1998 %J Electron. Notes Theor. Comput. Sci. %K dblp %P 38-51 %T Towards Higher-Order Types. %U http://dblp.uni-trier.de/db/journals/entcs/entcs14.html#CamaraoF98 %V 14

@article{journals/entcs/CamaraoF98, added-at = {2020-02-24T00:00:00.000+0100}, author = {Camarão, Carlos and Figueiredo, Lucília}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/21009ca16866f6103832e203846eae8f0/dblp}, ee = {https://doi.org/10.1016/S1571-0661(05)80228-2}, interhash = {5b868ba3d2b1532f9fd72716c6938da0}, intrahash = {1009ca16866f6103832e203846eae8f0}, journal = {Electron. Notes Theor. Comput. Sci.}, keywords = {dblp}, pages = {38-51}, timestamp = {2020-04-20T13:06:54.000+0200}, title = {Towards Higher-Order Types.}, url = {http://dblp.uni-trier.de/db/journals/entcs/entcs14.html#CamaraoF98}, volume = 14, year = 1998 }