top

  Info

  • Utilizzare la checkbox di selezione a fianco di ciascun documento per attivare le funzionalità di stampa, invio email, download nei formati disponibili del (i) record.

  Info

  • Utilizzare questo link per rimuovere la selezione effettuata.

Biblioteca

MARC Lista (tabellare)
Lambda calculus with types / / Henk Barendregt, Wil Dekkers, Richard Statman ; with contributions from Fabio Alessi [and others] [[electronic resource]]
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
Materiale a stampa
Lo trovi qui: Univ. Federico II
Opac: Controlla la disponibilità qui
Lambda calculus with types / / Henk Barendregt, Wil Dekkers, Richard Statman ; with contributions from Fabio Alessi [and others] [[electronic resource]]
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
Materiale a stampa
Lo trovi qui: Univ. Federico II
Opac: Controlla la disponibilità qui
Lambda calculus with types / / Henk Barendregt, Wil Dekkers, Richard Statman ; with contributions from Fabio Alessi [and others] [[electronic resource]]
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
Materiale a stampa
Lo trovi qui: Univ. Federico II
Opac: Controlla la disponibilità qui