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 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
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 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
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 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
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 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|