You can access the distribution details by navigating to My pre-printed books > Distribution

Add a Review
## Programming in Martin-Löf's Type Theory: An Introduction (eBook)

*(Immediate Access on Full Payment)*

Type:
e-book

Genre: Computer Programming

Language: English

Price:
₹1,500

As a programming language, type theory is similar to typed functional languages such as Hope and ML, but a major difference is that the evaluation of a well-typed program always terminates. In type theory it is also possible to write specifications of programming tasks as well as to develop provably correct programs. Type theory is therefore more than a programming language and it should not be compared with programming languages, but with formalized programming logics such as LCF and PL/CV.

One of the main differences between the type theory presentation in this book and the one in Per Martin-Löf's Constructive Mathematics and Computer Programming is that this book uses a uniform notation for expressions. Per Martin-Löf has formulated a theory of mathematical expressions in general, which is presented in chapter 3. This book describes how arbitrary mathematical expressions are formed and introduces an equality between expressions. This book also shows how defined constants can be introduced as abbreviations of more complicated expressions.

Publisher: Oxford University Press

Number of Pages: 211

Availability:
Available for Download (e-book)

Currently there are no reviews available for this book.

Be the first one to write a review for the book Programming in Martin-Löf's Type Theory: An Introduction.

Jitendra Kumar Choure

Amol Mahajan

Amol Mahajan

Sridhar Ranganathan