LEADER 00739nam0-22002531i-450- 001 990001136810403321 035 $a000113681 035 $aFED01000113681 035 $a(Aleph)000113681FED01 035 $a000113681 100 $a20000920d1987----km-y0itay50------ba 101 0 $aeng 200 1 $aMetasoft Primer$eTowards a Metalanguage for Applied Denotational Semantics$fby Blikle e 210 $aBerlin [etc.]$cSpringer-Verlag$d1987 225 1 $aLecture notes in computer science$v288 700 1$aBlikle,$bAndrzej$054543 801 0$aIT$bUNINA$gRICA$2UNIMARC 901 $aBK 912 $a990001136810403321 952 $aC-16-(288$b6655$fMA1 959 $aMA1 996 $aMetasoft Primer$9345225 997 $aUNINA DB $aING01 LEADER 01752nam0 22003493i 450 001 AQ10013057 005 20251003044042.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$9LOGICA 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-000000$c20111216 850 $aIT-BN0095 912 $aAQ10013057 950 0$aBiblioteca Centralizzata di Ateneo$c193 v.$d 01COLL. ING. LNCS$e 0102 0000012405 VMA A4664 v. 664$fY $h19940706$i20111216 977 $a 01 996 $aTyped lambda calculi and applications$91382033 997 $aUNISANNIO