Introduction to combinators and [the lambda]-calculus / J. Roger Hindley, Jonathan P. Seldin
(Visualizza in formato marc)
(Visualizza in BIBFRAME)
| Autore: |
Hindley, James R.
|
| Titolo: |
Introduction to combinators and [the lambda]-calculus / J. Roger Hindley, Jonathan P. Seldin
|
| Pubblicazione: | Cambridge, : Cambridge university, 1993 |
| Descrizione fisica: | 360 p. : ill. ; 24 cm. |
| Soggetto topico: | 03-XX - Mathematical logic and foundations [MSC 2020] |
| 03B40 - Combinatory logic and lambda-calculus [MSC 2020] | |
| Altri autori: |
Seldin, Jonathan Paul
|
| Titolo autorizzato: | Introduction to combinators and -calculus |
| ISBN: | 978-05-213-1839-6 |
| Formato: | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione: | Inglese |
| Record Nr.: | SUN0055634 |
| Lo trovi qui: | Univ. Vanvitelli |
| Localizzazioni e accesso elettronico | https://books.google.it/books?id=0DA4AAAAIAAJ&printsec=frontcover&dq=editions:HPsjt9oI3XwC&hl=it&sa=X&ved=0ahUKEwjg9cafi_jaAhVBnxQKHfCZC_cQuwUILTAA#v=onepage&q&f=false |
| Opac: | Controlla la disponibilità qui |
Serie:
London Mathematical Society student texts ; 1 Cambridge . -Cambridge university.