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
Homotopy Type Theory: Univalent Foundations of Mathematics
Language: en
Pages: 484
Authors:
Categories:
Type: BOOK - Published: - Publisher: Univalent Foundations

DOWNLOAD EBOOK

Programming in Martin-Löf Type Theory
Language: en
Pages: 117
Authors: Ana Bove
Categories:
Type: BOOK - Published: 1999 - Publisher:

DOWNLOAD EBOOK