Welcome to E-Books Directory
This is a freely downloadable e-book.
Programming in Martin-Lof's Type Theory: An Introduction
Read this book online or download it here for free
Custom Search
Programming in Martin-Lof's Type Theory: An Introduction
by Bengt Nordstrom, Kent Petersson, Jan M. Smith
Publisher: Oxford University Press 1990
ISBN/ASIN: 0198538146
ISBN-13: 9780198538141
Number of pages: 211
Description:
This book contains a thorough introduction to type theory, with information on polymorphic sets, subsets, monomorphic sets, and a full set of helpful examples. Well suited as a theory for program construction, Martin-Lof's type theory makes possible the expression of both specifications and programs within the same formalism.