Introduction to combinators and (lambda)-calculus / J. Roger Hindley, Jonathan P. Seldin

Main Author: Hindley, J. Roger
Other Authors: Seldin, Jonathan P
Format: Book
Edition: [2a repr.]
Publication: Cambridge, United Kingdom : Cambridge University Press, 1990
Physical Description: 360 p. ; 24 cm
Clasificación CDU: * 51
51
Edición: [2a repr.]
Collection: London mathematical society student texts 1
Subjects:
ISBN: 0521318394
LEADER 00998nam a2200301 i 4500
001 000000052126
003 CaOOAMICUS
005 20000107171833.0
008 960219s1990 xx a 000 0 eng c
020 |a 0521318394 
040 |a ULA  |b spa 
080 |a * 51 
080 |a 51 
100 1 |a Hindley, J. Roger  |4 aut.  
245 1 0 |a Introduction to combinators and (lambda)-calculus /  |c J. Roger Hindley, Jonathan P. Seldin 
250 |a [2a repr.] 
260 |a Cambridge, United Kingdom  |b Cambridge University Press  |c 1990 
300 |a 360 p. ; 24 cm 
650 7 |a Análisis combinatorio  |2 ula 
650 4 |a Lógica matemática 
650 7 |a Algoritmos  |2 ula 
650 7 |a Lenguajes de programación  |2 ula 
700 1 1 |a Seldin, Jonathan P  |4 col.  
830 0 |a London mathematical society student texts  |v 1 
850 |a ULA 
904 |a 2  |b 2  |c Disponibilidad  |d Fecha  |t 52127  |j 51 
952 |3 Libro  |a Loyola  |b LOYOLA CÓRDOBA  |c Depósito  |d 19-02-1996  |f 1  |b HIN int  |i 52127  |o 51  |p 52127  |q R. 30676 
990 |a emil