%0 Journal Article %1 journals/entcs/Chapman09 %A Chapman, James %D 2009 %J Electron. Notes Theor. Comput. Sci. %K %P 21-36 %T Type Theory Should Eat Itself. %U http://dblp.uni-trier.de/db/journals/entcs/entcs228.html#Chapman09 %V 228

@article{journals/entcs/Chapman09, added-at = {2023-12-13T00:50:56.000+0100}, author = {Chapman, James}, biburl = {https://www.bibsonomy.org/bibtex/2b9ef1062d4f67e05acb1540b2b514eba/admin}, ee = {https://doi.org/10.1016/j.entcs.2008.12.114}, interhash = {694732ac327a13272740c69de60b8455}, intrahash = {b9ef1062d4f67e05acb1540b2b514eba}, journal = {Electron. Notes Theor. Comput. Sci.}, keywords = {}, pages = {21-36}, timestamp = {2023-12-13T00:50:56.000+0100}, title = {Type Theory Should Eat Itself.}, url = {http://dblp.uni-trier.de/db/journals/entcs/entcs228.html#Chapman09}, volume = 228, year = 2009 }