@inproceedings{dybjer-1995-internal,
author = {Dybjer, Peter},
title = {Internal Type Theory},
year = {1995},
isbn = {3540617809},
publisher = {Springer-Verlag},
address = {Berlin, Heidelberg},
booktitle = {Selected Papers from the International Workshop on Types for Proofs and Programs},
pages = {120–134},
numpages = {15},
series = {TYPES '95}
}