Vai al contenuto principale della pagina

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 Visualizza cluster
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