Please log in to take part in the discussion (add own reviews or comments).
Cite this publication
More citation styles
- please select -
%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
}