Record Nr.

UNISA990000208400203316

Autore

International conference TLCA '99 : 4. : 1999

Titolo

Typed lambda calculi and applications : International conference, TLCA '99: L'Aquila, Italy, April 7-9, 1999: proceedings / Jean-Yves Girard (ed.)

Pubbl/distr/stampa


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

ISBN

3-540-65763-0

Descrizione fisica

VIII, 396 p. : ill. ; 24 cm

Collana

Lecture notes in computer science ; 1581

Disciplina

5113

Collocazione

001 LNCS (1581)

Lingua di pubblicazione

Inglese

Formato

Materiale a stampa

Livello bibliografico

Monografia