Type Theory as a Legacy from Logicism

by Stuart F. Allen
2003-2004

In the last seminar, on Episodes in Constructive Math, the Logicist school was mentioned. Though Logicism did not succeed, we inherited from it the logical theory of types.

PRL Home
Introduction
The Nuprl book
Origins of the PRL Project
Goals
Dynamics of the Project
Mathematical Expression in Nuprl
Cross Links to Math & CS Fields

Knowledge Base
Math Library
Publications
Projects
CRASH
Nuprl/FDL System
EventML Software
Seminar

People
Wiki
The Book
Lectures
Other Groups

Type Theory as a Legacy from Logicism

by Stuart F. Allen 2003-2004

by Stuart F. Allen
2003-2004