1.
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