%0 Journal Article %1 journals/jfp/BentonBP98 %A Benton, P. N. %A Bierman, Gavin M. %A de Paiva, Valeria %D 1998 %J J. Funct. Program. %K dblp %N 2 %P 177-193 %T Computational Types from a Logical Perspective. %U http://dblp.uni-trier.de/db/journals/jfp/jfp8.html#BentonBP98 %V 8

@article{journals/jfp/BentonBP98, added-at = {2022-08-16T00:00:00.000+0200}, author = {Benton, P. N. and Bierman, Gavin M. and de Paiva, Valeria}, biburl = {https://www.bibsonomy.org/bibtex/25e6774d85f3409799e5fae0787f3e4bf/dblp}, ee = {https://www.wikidata.org/entity/Q56210999}, interhash = {0d54501791874d07aaa01935e4546c99}, intrahash = {5e6774d85f3409799e5fae0787f3e4bf}, journal = {J. Funct. Program.}, keywords = {dblp}, number = 2, pages = {177-193}, timestamp = {2024-04-09T06:04:43.000+0200}, title = {Computational Types from a Logical Perspective.}, url = {http://dblp.uni-trier.de/db/journals/jfp/jfp8.html#BentonBP98}, volume = 8, year = 1998 }