Programming in Martin-Löf's Type Theory

Programming in Martin-Löf's Type Theory
Author :
Publisher : Oxford University Press, USA
Total Pages : 240
Release :
ISBN-10 : UOM:39015018505134
ISBN-13 :
Rating : 4/5 (34 Downloads)

Book Synopsis Programming in Martin-Löf's Type Theory by : Bengt Nordström

Download or read book Programming in Martin-Löf's Type Theory written by Bengt Nordström and published by Oxford University Press, USA. This book was released on 1990 with total page 240 pages. Available in PDF, EPUB and Kindle. Book excerpt: 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.


Programming in Martin-Löf's Type Theory Related Books

Programming in Martin-Löf's Type Theory
Language: en
Pages: 240
Authors: Bengt Nordström
Categories: Computers
Type: BOOK - Published: 1990 - Publisher: Oxford University Press, USA

DOWNLOAD EBOOK

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
Intuitionistic Type Theory
Language: en
Pages: 116
Authors: Per Martin-Löf
Categories: Mathematics
Type: BOOK - Published: 1984 - Publisher:

DOWNLOAD EBOOK

Type Theory and Formal Proof
Language: en
Pages: 465
Authors: Rob Nederpelt
Categories: Computers
Type: BOOK - Published: 2014-11-06 - Publisher: Cambridge University Press

DOWNLOAD EBOOK

Type theory is a fast-evolving field at the crossroads of logic, computer science and mathematics. This gentle step-by-step introduction is ideal for graduate s
Treatise on Intuitionistic Type Theory
Language: en
Pages: 198
Authors: Johan Georg Granström
Categories: Philosophy
Type: BOOK - Published: 2011-06-02 - Publisher: Springer Science & Business Media

DOWNLOAD EBOOK

Intuitionistic type theory can be described, somewhat boldly, as a partial fulfillment of the dream of a universal language for science. This book expounds seve
Homotopy Type Theory: Univalent Foundations of Mathematics
Language: en
Pages: 484
Authors:
Categories:
Type: BOOK - Published: - Publisher: Univalent Foundations

DOWNLOAD EBOOK