Lambda Calculus with Types / Henk Barendregt, Wil Dekkers, Richard Statman ; with contributions fron Fabio Alessi [and others].
This handbook with exercises reveals the mathematical beauty of formalisms hitherto mostly used for software and hardware design and verification.
Saved in: