Related Books
Language: en
Pages: 244
Pages: 244
Type: BOOK - Published: 2015-07-10 - Publisher: MIT Press
An introduction to writing proofs about computer programs, written in an accessible question-and-answer style, complete with step-by-step examples and a simple
Language: en
Pages: 244
Pages: 244
Type: BOOK - Published: 2015-07-10 - Publisher: MIT Press
An introduction to writing proofs about computer programs, written in an accessible question-and-answer style, complete with step-by-step examples and a simple
Language: en
Pages: 418
Pages: 418
Type: BOOK - Published: 2018-09-18 - Publisher: MIT Press
An introduction to dependent types, demonstrating the most beautiful aspects, one step at a time. A program's type describes its behavior. Dependent types are a
Language: en
Pages: 226
Pages: 226
Type: BOOK - Published: 1989 - Publisher: Prentice Hall
Language: en
Pages: 204
Pages: 204
Type: BOOK - Published: 1998 - Publisher: MIT Press
foreword by Ralph E. Johnson and drawings by Duane Bibby 'This is a book of 'why' not 'how.' If you are interested in the nature of computation and curious abou