Lambda Calculus with Types
By:"Henk Barendregt","Wil Dekkers","Richard Statman"
Published on 2013-06-20 by Cambridge University Press
E-book Library:"Mathematics"
This handbook with exercises reveals the mathematical beauty of formalisms hitherto mostly used for software and hardware design and verification.
This Book was ranked 22 by Google Books for keyword dotcms java.
Thank youE-Book University
No comments:
Post a Comment