Welcome to E-Books Directory
This is a freely downloadable e-book.

Programming in Martin-Lof's Type Theory: An Introduction

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.

Home page url

 Download or read it online here:

Download link

 (690KB, PDF)