Processing ......
FreeComputerBooks.com
Free Computer, Mathematics, Technical Books and Lecture Notes, etc.
 
Programming in Martin-Lof's Type Theory: An Introduction
GIS Visualizer - Geographic Data Visualized on 30+ Maps! Click here for details.
  • Title Programming in Martin-Lof's Type Theory: An Introduction
  • Author(s) Bengt Nordstrom (Author), Kent Petersson (Author), Jan M. Smith (Author)
  • Publisher: Oxford University Press; First Edition edition (July 19, 1990)
  • Hardcover: 232 pages
  • eBook: PDF and Postscript
  • Language: English
  • ISBN-10: 0198538146
  • ISBN-13: 978-0198538141
  • Share This:  

Book Description

In recent years, several formalisms for program construction have appeared. One such formalism is the type theory developed by Per Martin-Lof. Well suited as a theory for program construction, it makes possible the expression of both specifications and programs within the same formalism. Furthermore, the proof rules can be used to derive a correct program from a specification as well as to verify that a given program has a certain property.

This book contains a thorough introduction to type theory, with information on polymorphic sets, subsets, monomorphic sets, and a full set of helpful examples.

About the Authors
  • N/A
Reviews and Rating: Related Book Categories: Read and Download Links: Similar Books:
Book Categories
Other Categories
Resources and Links