Please log in to take part in the discussion (add own reviews or comments).
Cite this publication
More citation styles
- please select -
%0 Book Section
%1 year=1995
%A Hofmann, Martin
%B Computer Science Logic
%D 1995
%E Pacholski, Leszek
%E Tiuryn, Jerzy
%I Springer Berlin Heidelberg
%K cartesian category closed locally theory type
%P 427-441
%R 10.1007/BFb0022273
%T On the interpretation of type theory in locally cartesian closed categories
%U http://dx.doi.org/10.1007/BFb0022273
%V 933
%@ 978-3-540-60017-6
@incollection{year={1995},
added-at = {2014-11-17T12:33:31.000+0100},
author = {Hofmann, Martin},
biburl = {https://www.bibsonomy.org/bibtex/226d2fdf1b8915f7d87e541a6beca1c1a/t.uemura},
booktitle = {Computer Science Logic},
doi = {10.1007/BFb0022273},
editor = {Pacholski, Leszek and Tiuryn, Jerzy},
interhash = {d175752a38e1372055a058e3967d4157},
intrahash = {26d2fdf1b8915f7d87e541a6beca1c1a},
isbn = {978-3-540-60017-6},
keywords = {cartesian category closed locally theory type},
language = {English},
pages = {427-441},
publisher = {Springer Berlin Heidelberg},
series = {Lecture Notes in Computer Science},
timestamp = {2014-11-17T12:33:31.000+0100},
title = {On the interpretation of type theory in locally cartesian closed categories},
url = {http://dx.doi.org/10.1007/BFb0022273},
volume = 933,
year = 1995
}