Record Nr.

UNISA990000204640203316

Autore

International conference on typed lambda calculi and applications : 1993

Titolo

Typed lambda calculi and applications : International conference on typed lamda calculi and applications : March 16-18, 1993, Utrecht, The Netherlands : proceedings / M. Bezem (ed.)

Pubbl/distr/stampa


Berlin [etc.] : Springer-Verlag, copyr. 1993

ISBN

3-540-56517-5

Descrizione fisica

VIII, 432 p. : ill. ; 24 cm

Collana

Lecture notes in computer science ; 664

Disciplina

004

Collocazione

001 LNCS 664

Lingua di pubblicazione

Inglese

Formato

Materiale a stampa

Livello bibliografico

Monografia