Type Theory and Formal Proof
Type Theory and Formal Proof PDF book is popular Computers book written by Rob Nederpelt. The book was released by Cambridge University Press on 2014-11-06 with total hardcover pages 465. Fast download link is given in this page, you could read Type Theory and Formal Proof by Rob Nederpelt in PDF, epub and kindle directly from your devices.
Type Theory and Formal Proof
-
Type Theory and Formal Proof Book Detail
- Author : Rob Nederpelt
- Release Date : 2014-11-06
- Publisher : Cambridge University Press
- Genre : Computers
- Pages : 465
- ISBN 13 : 1316061086
- File Size : 21,21 MB