International conference on typed lambda calculi and applications : <1. : ; 1993
Titolo
Typed lambda calculi and applications : International conference on typed lambda calculi and applications TLCA '93 : March, 16-18, 1993, Utrecht, The Netherlands : proceedings / M. Bezem, J. F. Groote (eds.)
Pubbl/distr/stampa
Berlin \etc.!, : Springer, c1993
ISBN
0387565175
3540565175
Descrizione fisica
VIII, 432 p. ; 24 cm
Collana
Lecture notes in computer science / edited by G. Goos and J. Hartmanis ; 664