Jan M. Smith

Jan M. Smith

No information is available for this author.

Back to all authors

Books Authored by Jan M. Smith

Programming in Martin-Löf's Type Theory: An Introduction

Post date: 07 Nov 2006
An introduction to type theory as a theory for program construction. Describes different type theories (theories of types, polymorphic and monomorphic sets, and subsets) from a computing science perspective.
Publisher: Oxford University Press
Publication date: 31 Dec 1990
 
Programming in Martin-Löf's Type Theory: An Introduction

Programming in Martin-Löf's Type Theory: An Introduction

Post date: 07 Nov 2006
An introduction to type theory as a theory for program construction. Describes different type theories (theories of types, polymorphic and monomorphic sets, and subsets) from a computing science perspective.
Publisher: Oxford University Press
Publication date: 31 Dec 1990


Book Categories
Sponsors