An Introduction to Lambada Calculi for Computer Scientists by Chris Hankin (Engl
18,99 €
An Introduction to Lambada Calculi for Computer Scientists. by Chris Hankin. The lambda-calculus lies at the very foundations of computerscience. The bookemphasises the proof theory for the type-free lambda-calculus.
Jetzt bei Ebay: