//
Skip to main content
PRL Project

Knowledge Base of
Publication Publications, Seminar Seminars, & Math Book Math Library

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

Browse by author | title | year | subject

Filter for: Scott F. Smith

9 results


Publication Partial Objects in Type Theory | cite »
by Scott F. Smith
1989

Publication Computational Foundations of Basic Recursive Function Theory | cite »
by Robert L. Constable, Scott F. Smith
1988

Seminar Partial Objects
by Scott F. Smith
November 24, 1987

Seminar Domains in Type Theory
by Scott F. Smith
November 10, 1987

Publication Partial Objects in Constructive Type Theory | cite »
by Scott F. Smith, Robert L. Constable
1987

Seminar Bar Types
by Scott F. Smith
March 18, 1987

Seminar Term Model Semantics and Tait Computability Method
by Scott F. Smith
March 11, 1987

Publication 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

Seminar Defining Lambda-prl and Its Extensions
by Scott F. Smith
1984-1985