|
|
|
|
| LEADER |
00000cam a2200000 7i4500 |
| 001 |
0000087450 |
| 005 |
20160307.0 |
| 008 |
141112s2014 nyu eng |
| 020 |
|
|
|a 8132317033 (ebook)
|
| 020 |
|
|
|a 9781280249877 (ebook)
|
| 020 |
|
|
|a 9788132317036 (ebook)
|
| 050 |
0 |
0 |
|a QA9.5
|b .R53 2014
|
| 090 |
0 |
0 |
|a QA9.5
|b .R53 2014
|
| 100 |
1 |
|
|a Ricci, Raven ,
|e author
|
| 245 |
1 |
3 |
|a An introduction to lambda calculus [
|h electronic resource]
|c Raven Ricci
|
| 260 |
|
|
|a New York :
|b Learning Press ,
|c 2014
|
| 300 |
|
|
|a 1 online resource
|
| 505 |
0 |
|
|a 1. Introduction to lambda calculus -- 2. Church encoding -- 3. Fixed point combinator -- 4. Binary lambda calculus -- 5. Anonymous function -- 6. Apply and director string -- 7. Explicit substitution and lambda lifting -- 8. Normalisation by evaluation and SKI combinator calculus -- 9. Simply typed lambda calculus and system F -- 10. Beta normal form and calculus of constructions
|
| 520 |
|
|
|a This book provides a comprehensive introduction to Lambda Calculus
|
| 650 |
|
0 |
|a Lambda calculus
|
| 856 |
4 |
0 |
|3 World Technologies
|u http://ebooks.wtbooks.com/BookStore/search.do?searchTerm=9781280249877&optionValue=2&home=true&serachResultFilterOptions=&saveSearchParameters=true
|
| 999 |
|
|
|a 1000162767
|b Electronic Book
|c Electronic Resource
|e Gong Badak Campus
|