LEADER 02121nam0 22003493i 450 
001 AQ10013057
005 20241115062115.0
010   $a0387565175$bNew York
010   $a3540565175$bBerlin
100   $a20111216d1993    ||||0itac50      ba
101 | $aeng
102   $ade
181  1$6z01$ai $bxxxe  
182  1$6z01$an
200 1 $aTyped lambda calculi and applications$eInternational conference on typed lambda calculi and applications TLCA '93$eMarch, 16-18, 1993, Utrecht, The Netherlands$eproceedings$fM. Bezem, J. F. Groote (eds.)
210   $aBerlin \etc.!$cSpringer$dc1993
215   $aVIII, 432 p.$d24 cm
225 | $aLecture notes in computer science$fedited by G. Goos and J. Hartmanis$v664
410  0$1001MIL0030703$12001 $aLecture notes in computer science$fedited by G. Goos and J. Hartmanis$v664$1702 1$aGoos$b, Gerhard$3AQ1V006441$4340
676   $a511.3$9PRINCIPI GENERALI DELLA MATEMATICA. LOGICA MATEMATICA (LOGICA SIMBOLICA)$v14
676   $a511.3$9LOGICA MATEMATICA (LOGICA SIMBOLICA)$v22
702  1$aBezem$b, Marc$f <1956-    >$3AQ1V007093
702  1$aGroote$b, Jan Friso$3AQ1V007094
710 12$aInternational conference on typed lambda calculi and applications$d <1.$f ; 1993$e ; Utrecht>$3AQ1V007092$4070$0714690
791 12$aTLCA$d <1.$f ; 1993$e ; Utrecht>$3AQ1V007096$zInternational conference on typed lambda calculi and applications <1. ; 1993 ; Utrecht>
801  3$aIT$bIT-NA0079$c20111216
850   $aIT-BN0095          
912   $aAQ10013057
950  0$aBiblioteca Centralizzata di Ateneo$bv. 6;51;259;272;612-613;615-616;618;620;626;629-631;634-635;647;649-650;652;655-658;661-666;668-670;672-676;678;680;682-688;690-694;696-697;700-722;724-726;729-742;747-753;755-763;765;767-769;771-783;785-794;796-797;800-803;805-807;809;812-813;815-821;823-826;828-829;831-832;834;836;839-846;848-860;863-866;868;1147;2282;3185;3889$c193 v.$d 01COLL.     ING.                    LNCS$e 0102 0000012405    B A4664                 v. 664$f3 $h19940706$i20111216
977   $a 01
996   $aTyped lambda calculi and applications$91382033
997   $aUNISANNIO