Types for proofs and programs : international workshop, TYPES 2006, Nottingham, UK, April 18-21, 2006 : revised selected papers / Thorsten Altenkirch, Conor McBride (eds.).
(Visualizza formato Marc21)
(visualizza in BIBRAME 2.0)
| Creatore: |
TYPES 2006 (2006 : Nottingham, England)
|
| Titolo: |
Types for proofs and programs : international workshop, TYPES 2006, Nottingham, UK, April 18-21, 2006 : revised selected papers / Thorsten Altenkirch, Conor McBride (eds.).
|
| Link to work: |
Types for proofs and programs
|
| Pubblicazione: |
Berlin ; New York : Springer, ©2007
|
| Estensione: | 1 online resource (viii, 268 pages) : illustrations. |
| Tipo formato: | computer |
| Tipo contenuto: | text |
| Tipo supporto: | online resource |
| Disciplina: | 511.3 |
| Titolo uniforme di collana: | Lecture notes in computer science ; 4502. 0302-9743 |
| LNCS sublibrary. SL 1, Theoretical computer science and general issues. | |
| Genere/Forma: | Electronic books |
| Conference papers and proceedings | |
| Classificazione LOC: | QA76.9.A96 T96 2006eb |
| Creatori/Collaboratori: | Altenkirch, Thorsten, , 1962- |
| McBride, Conor | |
| Contenuto supplementare: | Includes bibliographical references and index. |
| Restrizioni accesso: | Access is restricted to users affiliated with licensed institutions. |
| Collana: | Lecture notes in computer science, 0302-9743 ; 4502 |
| LNCS sublibrary. SL 1, Theoretical computer science and general issues | |
| Varianti del titolo: | TYPES 2006 |
| ISBN: | 9783540744641 |
| 3540744649 | |
| 9783540744634 | |
| 3540744630 | |
| Formato: | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione: | Inglese |
| Record Nr.: | 004340939 |
| Localizzazioni e accesso elettronico | http://link.springer.com/10.1007/978-3-540-74464-1 |
| Collocazione: | Electronic access |
| Lo trovi qui: | New York University |
Altra ed. diverso supporto:
Print version: TYPES 2006 (2006 : Nottingham, England). Types for proofs and programs. Berlin ; New York : Springer, ©2007 9783540744634 3540744630 (DLC) 2007936170 (OCoLC)174167831