Book Programming in Martin-Löf's type theory PDF

Programming in Martin-Löf's type theory PDF
By:Bengt Nordström,Kent Petersson,Jan M. Smith
Published on 1990 by Oxford University Press, USA

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.

This Book was ranked at 35 by Google Books for keyword Computers Technology Programming Languages novel.

Book ID of Programming in Martin-Löf's type theory's Books is mZhQAAAAMAAJ, Book which was written byBengt Nordström,Kent Petersson,Jan M. Smithhave ETAG "mFfutkEXm+w"

Book which was published by Oxford University Press, USA since 1990 have ISBNs, ISBN 13 Code is and ISBN 10 Code is

Reading Mode in Text Status is false and Reading Mode in Image Status is false

Book which have "221 Pages" is Printed at BOOK under CategoryComputers

Book was written in en

eBook Version Availability Status at PDF is falseand in ePub is false

Book Preview

Download Programming in Martin-Löf's type theory PDF Free

Download Programming in Martin-Löf's type theory Books Free

Download Programming in Martin-Löf's type theory Free

Download Programming in Martin-Löf's type theory PDF

Download Programming in Martin-Löf's type theory Books