//
Skip to main content
PRL Project

Proof Assistants and the Rise of Type Theory Circa 1912-2012

by Robert L. Constable
2012

Lecture presented at Carnegie Mellon CS Department.