Goodreads helps you keep track of books you want to read.
Start by marking “Programming In Martin Löf's Type Theory: An Introduction” as Want to Read:
Programming In Martin Löf's Type Theory: An Introduction
Enlarge cover
Rate this book
Clear rating
Open Preview

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

4.50  ·  Rating details ·  4 ratings  ·  0 reviews
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 ...more
Hardcover, 232 pages
Published July 19th 1990 by Oxford University Press, USA
More Details... Edit Details

Friend Reviews

To see what your friends thought of this book, please sign up.

Reader Q&A

To ask other readers questions about Programming In Martin Löf's Type Theory, please sign up.

Be the first to ask a question about Programming In Martin Löf's Type Theory

This book is not yet featured on Listopia. Add this book to your favorite list »

Community Reviews

Showing 1-34
Average rating 4.50  · 
Rating details
 ·  4 ratings  ·  0 reviews


More filters
 | 
Sort order
Start your review of Programming In Martin Löf's Type Theory: An Introduction
Stuart
rated it really liked it
Feb 18, 2013
András Kovács
rated it really liked it
Aug 01, 2014
Alex (Sasha)
rated it it was amazing
Jun 16, 2018
Shehroz Abid
rated it it was amazing
Oct 18, 2011
Kirill
marked it as to-read
Jan 01, 2012
B
is currently reading it
Jul 21, 2012
Alex Ott
marked it as to-read
Aug 10, 2012
Andy Legkiy
marked it as to-read
Aug 12, 2012
Ivan Fedorov
marked it as to-read
Aug 13, 2012
Gorana
marked it as to-read
Jan 16, 2013
Denis
marked it as to-read
Jan 27, 2013
Ben
marked it as to-read
Apr 17, 2013
Molla
added it
Sep 17, 2013
Jason Walsh
marked it as to-read
Dec 03, 2013
Chris
marked it as to-read
Mar 18, 2014
Alejandro Andrés
marked it as to-read
Feb 20, 2015
universal_mapping_property
is currently reading it
Nov 21, 2015
Ozan Erdem
marked it as to-read
Dec 24, 2015
HBooks91
marked it as to-read
Feb 06, 2016
Cameron Smith
marked it as to-read
Feb 11, 2016
⊥
marked it as to-read
Feb 15, 2016
M00nlight
marked it as to-read
Mar 02, 2016
K.
marked it as to-read
Mar 16, 2016
Daniel
marked it as to-read
Apr 12, 2016
Ricky Elrod
is currently reading it
May 02, 2016
Chris Hall
marked it as to-read
May 15, 2016
Edgar
added it
Jun 18, 2016
M
marked it as to-read
Jul 11, 2016
There are no discussion topics on this book yet. Be the first to start one »

Goodreads is hiring!

If you like books and love to build cool products, we may be looking for you.
Learn more »