%0 Journal Article %1 seely1984locally %A Seely, R. A. G. %D 1984 %J Math. Proc. Cambridge Philos. Soc. %K cartesian category closed locally theory type %N 1 %P 33-48 %T Locally Cartesian closed categories and type theory %U http://www.math.mcgill.ca/rags/LCCC/LCCC.pdf %V 95

@article{seely1984locally, added-at = {2014-11-18T11:54:01.000+0100}, author = {Seely, R. A. G.}, biburl = {https://www.bibsonomy.org/bibtex/25d18d768325a10d0d7080d77ab9aeea8/t.uemura}, interhash = {1e42d9d4127033adbdfe9fb578b412a4}, intrahash = {5d18d768325a10d0d7080d77ab9aeea8}, journal = {Math. Proc. Cambridge Philos. Soc.}, keywords = {cartesian category closed locally theory type}, number = 1, pages = {33-48}, timestamp = {2014-11-18T11:54:01.000+0100}, title = {Locally Cartesian closed categories and type theory}, url = {http://www.math.mcgill.ca/rags/LCCC/LCCC.pdf}, volume = 95, year = 1984 }