LEADER 01662nam0 22003853i 450 001 UAN0002045 005 20251003044417.0 010 $a8885902774 100 $a20231129d1995 ||||0itac50 ba 101 | $aita 102 $ait 181 1$6z01$ai $bxxxe 182 1$6z01$an 183 1$6z01$anc$2RDAcarrier 200 1 $aˆIl ‰bilancio dello Stato$fManuela Crescini, Lorenzo Robotti 210 $aAncona$cCLUA$d\1995! 215 $a130 p.$d24 cm. 606 $aBilanci statali$xItalia$2FIR$3CFIC251344$9N 606 $aProgrammazione economica$xItalia$2FIR$3SBLC004609$9I 676 $a352.480945$9AMMINISTRAZIONE PUBBLICA. Impostazione del bilancio. Italia$v23 696 $aBilancio statale$aBilanci dello Stato 696 $aPianificazione economica 699 $aBilanci statali$zBilancio statale 699 $aBilanci statali$yBilanci dello Stato 699 $aProgrammazione economica$yPianificazione economica 700 1$aCrescini$b, Manuela$3UANV001077$4070$0629945 701 1$aRobotti$b, Lorenzo$3CFIV070132$4070$0129052 801 3$aIT$bIT-000000$c20231129 850 $aIT-BN0095 901 $bNAP 01$cPOZZO LIB.$nVi sono collocati fondi di economia, periodici di ingegneria e scienze, periodici di economia e statistica e altri fondi comprendenti documenti di economia pervenuti in dono. 912 $aUAN0002045 950 0$aBiblioteca Centralizzata di Ateneo$b1 v.$c1 v.$d 01POZZO LIB.F. PARRAVICINI 682$e 0101 0600166055E VMA 1 v. (Precedente collocazione P. 749)$fB $h20050930$i20231129 977 $a 01 996 $aBilancio dello Stato$93597265 997 $aUNISANNIO LEADER 04692nam 22007575 450 001 9910768472203321 005 20251116234345.0 010 $a3-540-44904-3 024 7 $a10.1007/3-540-44904-3 035 $a(CKB)1000000000212052 035 $a(SSID)ssj0000327453 035 $a(PQKBManifestationID)11266284 035 $a(PQKBTitleCode)TC0000327453 035 $a(PQKBWorkID)10316473 035 $a(PQKB)10944842 035 $a(DE-He213)978-3-540-44904-1 035 $a(MiAaPQ)EBC3071901 035 $a(PPN)155204750 035 $a(BIP)13627278 035 $a(BIP)8681249 035 $a(EXLCZ)991000000000212052 100 $a20121227d2003 u| 0 101 0 $aeng 135 $aurnn|008mamaa 181 $ctxt 182 $cc 183 $acr 200 10$aTyped Lambda Calculi and Applications $e6th International Conference, TLCA 2003, Valencia, Spain, June 10-12, 2003, Proceedings /$fedited by Martin Hofmann 205 $a1st ed. 2003. 210 1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d2003. 215 $a1 online resource (VIII, 320 p.) 225 1 $aLecture Notes in Computer Science,$x0302-9743 ;$v2701 300 $aBibliographic Level Mode of Issuance: Monograph 311 08$a3-540-40332-9 320 $aIncludes bibliographical references and index. 327 $aTermination and Productivity Checking with Continuous Types -- Derivatives of Containers -- Max-Plus Quasi-interpretations -- Inductive Types in the Calculus of Algebraic Constructions -- On Strong Normalization in the Intersection Type Discipline -- Relative Definability and Models of Unary PCF -- Principal Typing in Elementary Affine Logic -- A Logical Framework with Dependently Typed Records -- A Sound and Complete CPS-Translation for ??-Calculus -- Abstraction Barrier-Observing Relational Parametricity -- Encoding of the Halting Problem into the Monster Type and Applications -- Well-Going Programs Can Be Typed -- Parameterizations and Fixed-Point Operators on Control Categories -- Functional In-Place Update with Layered Datatype Sharing -- A Fully Abstract Bidomain Model of Unary FPC -- On a Semantic Definition of Data Independence -- Nondeterministic Light Logics and NP-Time -- Polarized Proof Nets with Cycles and Fixpoints Semantics -- Observational Equivalence and Program Extraction in the Coq Proof Assistant -- Permutative Conversions in Intuitionistic Multiary Sequent Calculi with Cuts -- A Universal Embedding for the Higher Order Structure of Computational Effects. 330 $aThe refereed proceedings of the 6th International Conference on Typed Lambda Calculi and Applications, TLCA 2003, held in Valencia, Spain in June 2003. The 21 revised full papers presented were carefully reviewed and selected from 40 submissions. The volume reports research results on all current aspects of typed lambda calculi, ranging from theoretical and methodological issues to the application of proof assistants. 410 0$aLecture Notes in Computer Science,$x0302-9743 ;$v2701 606 $aLogic, Symbolic and mathematical 606 $aComputer programming 606 $aProgramming languages (Electronic computers) 606 $aComputer logic 606 $aMathematical Logic and Foundations$3https://scigraph.springernature.com/ontologies/product-market-codes/M24005 606 $aMathematical Logic and Formal Languages$3https://scigraph.springernature.com/ontologies/product-market-codes/I16048 606 $aProgramming Techniques$3https://scigraph.springernature.com/ontologies/product-market-codes/I14010 606 $aProgramming Languages, Compilers, Interpreters$3https://scigraph.springernature.com/ontologies/product-market-codes/I14037 606 $aLogics and Meanings of Programs$3https://scigraph.springernature.com/ontologies/product-market-codes/I1603X 615 0$aLogic, Symbolic and mathematical. 615 0$aComputer programming. 615 0$aProgramming languages (Electronic computers) 615 0$aComputer logic. 615 14$aMathematical Logic and Foundations. 615 24$aMathematical Logic and Formal Languages. 615 24$aProgramming Techniques. 615 24$aProgramming Languages, Compilers, Interpreters. 615 24$aLogics and Meanings of Programs. 676 $a511.3 702 $aHofmann$b Martin$4edt$4http://id.loc.gov/vocabulary/relators/edt 712 12$aInternational Conference on Typed Lambda Calculi and Applications 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910768472203321 996 $aTyped Lambda Calculi and Applications$9772124 997 $aUNINA