Intuitionistic Type Theory
| Author | : Per Martin-Löf |
| Publisher | : |
| Total Pages | : 116 |
| Release | : 1984 |
| ISBN-10 | : STANFORD:36105021234930 |
| ISBN-13 | : |
| Rating | : 4/5 ( Downloads) |
Book Synopsis Intuitionistic Type Theory by : Per Martin-Löf
Download or read book Intuitionistic Type Theory written by Per Martin-Löf and published by . This book was released on 1984 with total page 116 pages. Available in PDF, EPUB and Kindle. Book excerpt:
Top