eCommons@Cornell: Browsing eCommons

Browsing by Author "Smith, Scott Fraser"

Jump to: 0-9 A B C D E F G H I J K L M N O P Q R S T U V W X Y Z

or enter first few letters:

Showing results 1 to 3 of 3

Issue Date	Title	Author(s)
Mar-1988	Computational Foundations of Basic Recursive Function Theory	*Constable, Robert L.; Smith, Scott Fraser*
Mar-1987	Partial Objects in Constructive Type Theory	*Constable, Robert L.; Smith, Scott Fraser*
Aug-1988	Partial Objects in Type Theory	*Smith, Scott Fraser*

Showing results 1 to 3 of 3