Biblioteca Dr. Antonio Monteiro · Catálogo | |
LDR | ·····pam##22·····#a#4500 |
001 | 003718 |
005 | 20160610153756.0 |
008 | 910227s1991####enk######b####001#0#eng## |
245 | 10 | $a Type theory and functional programming / $c Simon Thompson. |
260 | ## | $a Wokingham, England : $b Addison-Wesley, $c c1991. |
300 | ## | $a xv, 372 p. ; $c 24 cm. |
440 | #0 | $a International computer science series |
504 | ## | $a Incluye referencias bibliográficas (p. 347-357) e índice. |
500 | ## | $a Texto completo disponible en la Web. |
020 | ## | $a 0201416670 |
100 | 1# | $a Thompson, Simon. |
650 | #0 | $a Functional programming (Computer science) |
650 | #0 | $a Type theory. |
084 | ## | $a 68N18 (68Q65 03B15 03B70) $2 msc2000 |
010 | ## | $a ###91012295# |
040 | ## | $a DLC $c DLC $d DLC |
856 | 4# | $u http://www.cs.kent.ac.uk/people/staff/sjt/TTFP/ $y Texto completo |
Si necesita ayuda para encontrar información, puede visitar personalmente la biblioteca, llamarnos por teléfono al 291 459 5116, o enviarnos un mensaje a bibima@criba.edu.ar.
Para solicitar copias de artículos, complete el formulario o escríbanos a pedidos.inmabb@gmail.com