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.
Constraint-based grammar formalisms : parsing and type inference for natural and computer languages / / Stuart M. Shieber
| Constraint-based grammar formalisms : parsing and type inference for natural and computer languages / / Stuart M. Shieber |
| Autore | Shieber Stuart M. |
| Pubbl/distr/stampa | Cambridge, Massachusetts : , : MIT Press, , c1992 |
| Descrizione fisica | 1 PDF (xi, 183 pages) : illustrations |
| Disciplina | 410.285 |
| Soggetto topico |
Computational linguistics
Grammar, Comparative and general - Data processing Programming languages (Electronic computers) - Syntax |
| ISBN |
0-262-29311-0
0-262-28351-4 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-9910260653303321 |
Shieber Stuart M.
|
||
| Cambridge, Massachusetts : , : MIT Press, , c1992 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Nominal sets : names and symmetry in computer science / / Andrew M. Pitts [[electronic resource]]
| Nominal sets : names and symmetry in computer science / / Andrew M. Pitts [[electronic resource]] |
| Autore | Pitts A. M (Andrew M.) |
| Pubbl/distr/stampa | Cambridge : , : Cambridge University Press, , 2013 |
| Descrizione fisica | 1 online resource (xiii, 276 pages) : digital, PDF file(s) |
| Disciplina | 005.13 |
| Collana | Cambridge tracts in theoretical computer science |
| Soggetto topico |
Programming languages (Electronic computers) - Semantics
Programming languages (Electronic computers) - Syntax |
| ISBN |
1-139-89077-8
1-107-24758-6 1-107-25007-2 1-107-01778-5 1-139-08467-4 1-107-24924-4 1-107-24841-8 1-107-25090-0 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Introduction -- Part One : Theory. Permutations -- Support -- Freshness -- Name abstraction -- Orbit-finiteness -- Equivalents of Nom -- -- Part Two : Applications. Inductive and coinductive definitions -- Nominal algebraic data types -- Locally scoped names -- Functional programming -- Domain theory -- Computational logic. |
| Record Nr. | UNINA-9910464929203321 |
|
Pitts A. M (Andrew M.)
|
||
| Cambridge : , : Cambridge University Press, , 2013 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Nominal sets : names and symmetry in computer science / / Andrew M. Pitts [[electronic resource]]
| Nominal sets : names and symmetry in computer science / / Andrew M. Pitts [[electronic resource]] |
| Autore | Pitts A. M (Andrew M.) |
| Pubbl/distr/stampa | Cambridge : , : Cambridge University Press, , 2013 |
| Descrizione fisica | 1 online resource (xiii, 276 pages) : digital, PDF file(s) |
| Disciplina | 005.13 |
| Collana | Cambridge tracts in theoretical computer science |
| Soggetto topico |
Programming languages (Electronic computers) - Semantics
Programming languages (Electronic computers) - Syntax |
| ISBN |
1-139-89077-8
1-107-24758-6 1-107-25007-2 1-107-01778-5 1-139-08467-4 1-107-24924-4 1-107-24841-8 1-107-25090-0 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Introduction -- Part One : Theory. Permutations -- Support -- Freshness -- Name abstraction -- Orbit-finiteness -- Equivalents of Nom -- -- Part Two : Applications. Inductive and coinductive definitions -- Nominal algebraic data types -- Locally scoped names -- Functional programming -- Domain theory -- Computational logic. |
| Record Nr. | UNINA-9910789313803321 |
|
Pitts A. M (Andrew M.)
|
||
| Cambridge : , : Cambridge University Press, , 2013 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Nominal sets : names and symmetry in computer science / / Andrew M. Pitts [[electronic resource]]
| Nominal sets : names and symmetry in computer science / / Andrew M. Pitts [[electronic resource]] |
| Autore | Pitts A. M (Andrew M.) |
| Pubbl/distr/stampa | Cambridge : , : Cambridge University Press, , 2013 |
| Descrizione fisica | 1 online resource (xiii, 276 pages) : digital, PDF file(s) |
| Disciplina | 005.13 |
| Collana | Cambridge tracts in theoretical computer science |
| Soggetto topico |
Programming languages (Electronic computers) - Semantics
Programming languages (Electronic computers) - Syntax |
| ISBN |
1-139-89077-8
1-107-24758-6 1-107-25007-2 1-107-01778-5 1-139-08467-4 1-107-24924-4 1-107-24841-8 1-107-25090-0 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Introduction -- Part One : Theory. Permutations -- Support -- Freshness -- Name abstraction -- Orbit-finiteness -- Equivalents of Nom -- -- Part Two : Applications. Inductive and coinductive definitions -- Nominal algebraic data types -- Locally scoped names -- Functional programming -- Domain theory -- Computational logic. |
| Record Nr. | UNINA-9910823260103321 |
|
Pitts A. M (Andrew M.)
|
||
| Cambridge : , : Cambridge University Press, , 2013 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
