Filter
Sökt på: Sökresultat
Filter
1 träff
Lambda Calculus with Types
inbunden,
2013,
Engelska,
ISBN 9780521766142
This handbook with exercises reveals in formalisms, hitherto mainly used for hardware and software design and verification, unexpected mathematical beauty. The lambda calculus …