01966nam0 2200349 i 450 VAN0005563420240806100510.965978-05-213-1839-620061109d1993 |0itac50 baengGB|||| |||||Introduction to combinators andthe lambda]-calculusJ. Roger Hindley, Jonathan P. SeldinCambridgeCambridge university1993360 p.ill.24 cm001VAN000242172001 London Mathematical Society student texts210 CambridgeCambridge university103-XXMathematical logic and foundations [MSC 2020]VANC019750MF03B40Combinatory logic and lambda-calculus [MSC 2020]VANC024414MFCambridgeVANL000024HindleyJames R.VANV044116725896SeldinJonathan PaulVANV04411754730Cambridge University <editore>VANV107986650Hindley, James RogerHindley, James R.VANV064008Hindley, J. R.Hindley, James R.VANV064010Hindley, J.R.Hindley, James R.VANV212266ITSOL20250124RICAhttps://books.google.it/books?id=0DA4AAAAIAAJ&printsec=frontcover&dq=editions:HPsjt9oI3XwC&hl=it&sa=X&ved=0ahUKEwjg9cafi_jaAhVBnxQKHfCZC_cQuwUILTAA#v=onepage&q&f=falsehttps://books.google.it/books?id=0DA4AAAAIAAJ&printsec=frontcover&dq=editions:HPsjt9oI3XwC&hl=it&sa=X&ved=0ahUKEwjg9cafi_jaAhVBnxQKHfCZC_cQuwUILTAA#v=onepage&q&f=falseVAN00055634BIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICA08PREST 03-XX 1894 08 1998 I b 20061109 BIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICA08PREST 03-XX 1894 08 1201 I a 20061109 Introduction to combinators and3870274UNICAMPANIA