Skip to main content
PRL Project

Experience Using Type Theory as a Foundation for Computer Science Circa 1985-1995

by Robert L. Constable
1995

Proceedings of the 10th Annual IEEE Symposium on Logic in Computer Science

  • unofficial copies PDF, PS
Computer science is emerging as one of the most enabling sciences of the century. While its physical basis lies in the applications of quantum mechanics -- producing the transistor and integrated circuits -- its impact rest equally on software abstractions -- a nonphysical basis. These abstractions are elaborated by mathematics, but they rest on a theoretical foundation which is not purely mathematical. This foundation is the subject of the article.

bibTex ref: Con95b


cite link