Computational type theory

From Scholarpedia

This article has not been peer-reviewed or accepted for publication yet; It may be unfinished, contain inaccuracies, or unapproved changes.

Author: Dr. Robert L. Constable, Department of Computer Science, Cornell University, Ithaca, NY

While this article is empty, see Computational type theory on Amazon.

Dr. Robert L. Constable accepted the invitation on 7 July 2008 (self-imposed deadline: 7 September 2008).

Suggested by: Dr. Christoph Kreitz, Professor, Institut fuer Informatik, Universitaet Potsdam, Germany
Invited by: Dr. Eugene M. Izhikevich, Editor-in-Chief of Scholarpedia, the free peer reviewed encyclopedia
Retrieved from "http://www.scholarpedia.org/article/Computational_type_theory"
For authors