Knowledge Base of
Publications, Seminars, & Math Library

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