Applied Logic as Part of an Effort to Accumulate Precise Knowledge

(with special attention to Computational Type Theory and Nuprl)

Stuart Allen

February 9, 2004