Record Nr.

UNISANNIOAQ10007126

Autore

International Workshop TYPES : <1. : ; 1993

Titolo

Types for proofs and programs : International workshop TYPES '93 : Nijmegen, The Netherlands, May 24-28, 1993 : selected papers / Henk Barendregt, Tobias Nipkow (eds.)

Pubbl/distr/stampa


Berlin [etc.], : Springer, c1994

ISBN

0387580859

3540580859

Descrizione fisica

383 p. ; 24 cm

Collana

Lecture notes in computer science / edited by G. Goos and J. Hartmanis ; 806

Disciplina

005.1015113

Soggetti

Elaboratori elettronici - Programmazione - Congressi - 1993

Collocazione

COLL. ING. LNCS

Lingua di pubblicazione

Inglese

Formato

Materiale a stampa

Livello bibliografico

Monografia