|
|
|
|
| LEADER |
00000cam a2200000Ia 4500 |
| 001 |
ocn630478012 |
| 003 |
OCoLC |
| 005 |
20190911102141.0 |
| 008 |
141024t20112011nyu b 001 0 eng d |
| 035 |
|
|
|a (Sirsi) i9780486478838
|
| 040 |
|
|
|a DLC
|b spa
|c DLC
|d UV#
|
| 020 |
|
|
|a 9780486478838 (rústica)
|
| 020 |
|
|
|a 0486478831 (rústica)
|
| 050 |
|
4 |
|a QA76.6
|b M523 2011
|
| 082 |
0 |
0 |
|a 005.1/14
|2 22222
|
| 100 |
1 |
|
|a Michaelson, Greg,
|d 1953-
|
| 245 |
1 |
3 |
|a An introduction to functional programming through Lambda calculus /
|c Greg Michaelson.
|
| 250 |
|
|
|a Dover edition.
|
| 260 |
|
|
|a Mineola, N.Y. :
|b Dover Publications,
|c 2011.
|
| 300 |
|
|
|a xv, 320 páginas ;
|c 24 cm.
|
| 490 |
0 |
|
|a Dover books on mathematics
|
| 500 |
|
|
|a Publicado originalmente: Workingham, England : Addison-Wesley, 1989.
|
| 504 |
|
|
|a Incluye bibliografía (páginas 309-311) e índice.
|
| 505 |
0 |
|
|a 1. Introduction -- 2. Lambda Calculus -- 3. Conditions, booleans, and numbers -- 4. Recursion and arithmetic -- 5. Types -- 6. Lists and strings -- 7. Composite values and trees -- 8. Evaluation -- 9. Functional programming in Standard ML -- 10. Functional programming and LISP.
|
| 650 |
|
7 |
|a Programación funcional (Computadoras)
|9 412912
|
| 650 |
|
4 |
|a Cálculo Lambda.
|
| 856 |
4 |
2 |
|3 Publisher description
|u http://catdir.loc.gov/catdir/enhancements/fy1105/2010031017-d.html
|
| 901 |
|
|
|a Z0
|b UV#
|
| 902 |
|
|
|a DGBUV
|
| 596 |
|
|
|a 14
|
| 942 |
|
|
|c LIBRO
|
| 999 |
|
|
|c 285738
|d 285738
|
