#
Knowledge Base of

Publications,
Seminars,
& Math Library

PhD theses from the project are accessible at the NCSTRL web site.

## Filter for: Scott F. Smith

9 results

*
Partial Objects in Type Theory *
| cite »

by Scott F. Smith

1989

*
Computational Foundations of Basic Recursive Function Theory *
| cite »

by Robert L. Constable, Scott F. Smith

1988

*
Partial Objects *

by Scott F. Smith

November 24, 1987

*
Domains in Type Theory *

by Scott F. Smith

November 10, 1987

*
Partial Objects in Constructive Type Theory *
| cite »

by Scott F. Smith, Robert L. Constable

1987

*
Bar Types *

by Scott F. Smith

March 18, 1987

*
Term Model Semantics and Tait Computability Method *

by Scott F. Smith

March 11, 1987

*
Implementing Mathematics with the Nuprl Development System *
| cite »

by Robert L. Constable, Stuart F. Allen, H. M. Bromley, Walter Rance Cleaveland, J. F. Cremer, Robert W. Harper, Douglas J. Howe, Todd B. Knoblock, Nax P. Mendler, Prakash Panangaden, James T. Sasaki, Scott F. Smith

1986

*
Defining Lambda-prl and Its Extensions *

by Scott F. Smith

1984-1985