%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 }