From Scholarpedia

Cite this article as

Robert L. Constable (2009) Computational type theory. Scholarpedia, 4(2):7618

which always refers to the latest approved version. If you need to cite this particular revision of the article (for whatever reason), write

Robert L. Constable (2009) Computational type theory. Scholarpedia, 4(2):7618, revision #58145

To link to this article, use the following snippet

Robert L. Constable (2009) <a href='http://www.scholarpedia.org/article/Computational_type_theory'>Computational type theory</a>. <a href='http://www.scholarpedia.org'>Scholarpedia</a>, 4(2):7618

BIBTEX:

@ARTICLE{Constable:2009,
AUTHOR = {Constable, R. L.},
TITLE  = {Computational type theory},
YEAR  = {2009},
JOURNAL  = {Scholarpedia},
VOLUME  = {4},
NUMBER  = {2},
PAGES  = {7618}
}

RIS:

TY  - JOUR
JO  - Scholarpedia
T1 - Computational type theory
UR  - http://www.scholarpedia.org/article/Computational_type_theory
AU - Constable, R.L.
PY  - 2009
VL  - 4
SP  - 7618
ER  - 

EndNote:

%A Constable, RL
%D 2009
%J Scholarpedia
%U http://www.scholarpedia.org/article/Computational_type_theory
%P 7618
%T Computational type theory
%V 4
%0 Journal Article

DBLP:

Volume 4, Number 2
<ul>

<li>Robert Constable:
Computational type theory.
7618
<ee>http://www.scholarpedia.org/article/Computational_type_theory</ee>

</ul>