Lambda calculus with types / / Henk Barendregt, Wil Dekkers, Richard Statman ; with contributions from Fabio Alessi [and others] [[electronic resource]] |
Autore | Barendregt H. P (Hendrik Pieter) |
Pubbl/distr/stampa | Cambridge : , : Cambridge University Press, , 2013 |
Descrizione fisica | 1 online resource (xxii, 833 pages) : digital, PDF file(s) |
Disciplina | 511.35 |
Collana | Perspectives in logic |
Soggetto topico | Lambda calculus |
ISBN |
1-139-89197-9
1-107-27172-X 1-107-27381-1 1-107-27504-0 1-107-27707-8 1-139-03263-1 1-107-27830-9 1-299-77274-9 1-107-47131-1 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Introduction -- Part 1. Simple types. The simply typed lambda calculus -- Properties -- Tools -- Definability, unification and matching -- Extensions -- Applications -- Part II. Recursive types. The systems -- Properties of recursive types -- Properties of terms with types -- Models -- Applications -- Part III. Intersection types. An example system -- Type assignment systems -- Basic properties of intersection type assignment -- Type and lambda structures -- Filter models -- Advanced properties and applications. |
Record Nr. | UNINA-9910464948403321 |
Barendregt H. P (Hendrik Pieter)
![]() |
||
Cambridge : , : Cambridge University Press, , 2013 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
Lambda calculus with types / / Henk Barendregt, Wil Dekkers, Richard Statman ; with contributions from Fabio Alessi [and others] [[electronic resource]] |
Autore | Barendregt H. P (Hendrik Pieter) |
Pubbl/distr/stampa | Cambridge : , : Cambridge University Press, , 2013 |
Descrizione fisica | 1 online resource (xxii, 833 pages) : digital, PDF file(s) |
Disciplina | 511.35 |
Collana | Perspectives in logic |
Soggetto topico | Lambda calculus |
ISBN |
1-139-89197-9
1-107-27172-X 1-107-27381-1 1-107-27504-0 1-107-27707-8 1-139-03263-1 1-107-27830-9 1-299-77274-9 1-107-47131-1 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Introduction -- Part 1. Simple types. The simply typed lambda calculus -- Properties -- Tools -- Definability, unification and matching -- Extensions -- Applications -- Part II. Recursive types. The systems -- Properties of recursive types -- Properties of terms with types -- Models -- Applications -- Part III. Intersection types. An example system -- Type assignment systems -- Basic properties of intersection type assignment -- Type and lambda structures -- Filter models -- Advanced properties and applications. |
Record Nr. | UNINA-9910789313503321 |
Barendregt H. P (Hendrik Pieter)
![]() |
||
Cambridge : , : Cambridge University Press, , 2013 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
Lambda calculus with types / / Henk Barendregt, Wil Dekkers, Richard Statman ; with contributions from Fabio Alessi [and others] [[electronic resource]] |
Autore | Barendregt H. P (Hendrik Pieter) |
Edizione | [1st ed.] |
Pubbl/distr/stampa | Cambridge : , : Cambridge University Press, , 2013 |
Descrizione fisica | 1 online resource (xxii, 833 pages) : digital, PDF file(s) |
Disciplina | 511.35 |
Collana | Perspectives in logic |
Soggetto topico | Lambda calculus |
ISBN |
1-139-89197-9
1-107-27172-X 1-107-27381-1 1-107-27504-0 1-107-27707-8 1-139-03263-1 1-107-27830-9 1-299-77274-9 1-107-47131-1 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Introduction -- Part 1. Simple types. The simply typed lambda calculus -- Properties -- Tools -- Definability, unification and matching -- Extensions -- Applications -- Part II. Recursive types. The systems -- Properties of recursive types -- Properties of terms with types -- Models -- Applications -- Part III. Intersection types. An example system -- Type assignment systems -- Basic properties of intersection type assignment -- Type and lambda structures -- Filter models -- Advanced properties and applications. |
Record Nr. | UNINA-9910822226703321 |
Barendregt H. P (Hendrik Pieter)
![]() |
||
Cambridge : , : Cambridge University Press, , 2013 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|