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

(International Series of Monographs on Computer Science)

004d9fd6_medium Author Bengt Nordstrom
Isbn 9780198538141
File size 1MB
Year 1990
Pages 232
Language English
File format PDF
Category Hardware

Book Description:

In recent years, several formalisms for program construction have appeared. One such formalism is the type theory developed by Per Martin-Löf. 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.


Download (1MB)

No Comments

Leave a Reply

Your email address will not be published. Required fields are marked *