01752nam0 22003493i 450 AQ1001305720251003044042.00387565175New York3540565175Berlin20111216d1993 ||||0itac50 baengdez01i xxxe z01nTyped lambda calculi and applicationsInternational conference on typed lambda calculi and applications TLCA '93March, 16-18, 1993, Utrecht, The NetherlandsproceedingsM. Bezem, J. F. Groote (eds.)Berlin \etc.!Springerc1993VIII, 432 p.24 cmLecture notes in computer scienceedited by G. Goos and J. Hartmanis664001MIL00307032001 Lecture notes in computer scienceedited by G. Goos and J. Hartmanis664702 1Goos, GerhardAQ1V006441340511.3LOGICA MATEMATICA (LOGICA SIMBOLICA)14511.3LOGICA MATEMATICA (LOGICA SIMBOLICA)22Bezem, Marc <1956- >AQ1V007093Groote, Jan FrisoAQ1V007094International conference on typed lambda calculi and applications <1. ; 1993 ; Utrecht>AQ1V007092070714690TLCA <1. ; 1993 ; Utrecht>AQ1V007096International conference on typed lambda calculi and applications <1. ; 1993 ; Utrecht>ITIT-00000020111216IT-BN0095 AQ10013057Biblioteca Centralizzata di Ateneo193 v. 01COLL. ING. LNCS 0102 0000012405 VMA A4664 v. 664Y 1994070620111216 01Typed lambda calculi and applications1382033UNISANNIO