An Introduction to Lambada Calculi for Computer Scientists by Chris Hankin
17,03 €
Of typed calculi; first the simply typed lambda-calculus, then. lazy lambda-calculus, and the lambda sigma-calculus. Research students should find it a useful introduction to. The lambda-calculus lies at the very foundations of computer.
Jetzt bei Ebay:
