Book (31 Aug 1993)
Not available for sale
Out of stock
This introduction to lambda-calculus looks at aspects of the theory: combinatory logic, models, and type streams, showing how they interlink and underpin computer science.
| ISBN: | 9780130624079 |
| Publisher: | Ellis Horwood |
| Imprint: | Ellis Horwood |
| Pub date: | 31 Aug 1993 |
| DEWEY: | 511.3 |
| DEWEY edition: | 20 |
| Language: | English |
| Number of pages: | 180 |
| Weight: | 430g |
| Height: | 247mm |
| Width: | 184mm |
| Spine width: | 19mm |
Can You Solve My Problems?
Paperback
Published 06 Jul 2017
At Sixes and Sevens
Hardback
Published 28 Oct 2021
Logic
Paperback
Published 26 Oct 2017
£5.00off
Do Plants Know Math?
Hardback
Published 10 Sep 2024
Save £5.00
Why Machines Learn
Hardback
Published 16 Jul 2024
Every Bit Counts
Paperback
Published 13 Dec 2024
The Web We Weave
Hardback
Published 05 Dec 2024
£3.30off
Hands-on Mathematical Optimizat...
Paperback
Published 16 Jan 2025
Save £3.30
The Metaverse Dilemma
Hardback
Published 02 Dec 2024
Smart-Tech Society
Paperback
Published 14 Jun 2024