LEADER 01273nam0 2200301 i 450 001 SUN0071624 005 20091112120000.0 010 $a88-348-8068-4 100 $a20090929d1998 |0itac50 ba 101 $aita 102 $aIT 105 $a|||| ||||| 200 1 $aˆL'‰economia delle imprese di assicurazione e la stima del capitale economico$fNicola Di Cagno, Tiziano Onesti (a cura di) 210 $aTorino$cGiappichelli$d[1998] 215 $aIX, 401 p.$d24 cm. 606 $aCompagnie di assicurazione$xRischi$xGestione$2FI$3SUNC026674 606 $aCompagnie di assicurazione$xCapitale$xValutazione$2FI$3SUNC026675 620 $dTorino$3SUNL000001 676 $a368.012$v21 702 1$aDi Cagno$b, Nicola$3SUNV009380 702 1$aOnesti$b, Tiziano$3SUNV032952 712 $aGiappichelli$3SUNV000045$4650 801 $aIT$bSOL$c20181109$gRICA 912 $aSUN0071624 950 $aUFFICIO DI BIBLIOTECA DEL DIPARTIMENTO DI ECONOMIA$d03 PREST IIBc43 $e03 28990 995 $aUFFICIO DI BIBLIOTECA DEL DIPARTIMENTO DI ECONOMIA$bIT-CE0106$h28990$kPREST IIBc43$op$qa 996 $aEconomia delle imprese di assicurazione e la stima del capitale economico$963198 997 $aUNICAMPANIA LEADER 04756nam 22007335 450 001 9910144916503321 005 20251117003610.0 010 $a3-540-69552-4 024 7 $a10.1007/BFb0026977 035 $a(CKB)1000000000234708 035 $a(SSID)ssj0000321778 035 $a(PQKBManifestationID)11277378 035 $a(PQKBTitleCode)TC0000321778 035 $a(PQKBWorkID)10280055 035 $a(PQKB)10800788 035 $a(DE-He213)978-3-540-69552-3 035 $a(PPN)155230646 035 $a(EXLCZ)991000000000234708 100 $a20121227d1997 u| 0 101 0 $aeng 135 $aurnn|008mamaa 181 $ctxt 182 $cc 183 $acr 200 10$aCategory Theory and Computer Science $e7th International Conference, CTCS'97, Santa Margherita Ligure Italy, September 4-6, 1997, Proceedings /$fedited by Eugenio Moggi, Giuseppe Rosolini 205 $a1st ed. 1997. 210 1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d1997. 215 $a1 online resource (IX, 319 p.) 225 1 $aLecture Notes in Computer Science,$x0302-9743 ;$v1290 300 $aBibliographic Level Mode of Issuance: Monograph 311 08$a3-540-63455-X 327 $aAn introduction to n-categories -- Allegories as a basis for algorithmics -- Separating shape from data -- A factorisation theorem in rewriting theory -- Monads and modular term rewriting -- A 2-categorical presentation of term graph rewriting -- Presheaf models for the ?-calculus -- Categorical modelling of structural operational rules case studies -- Specifying interaction categories -- Shedding new light in the world of logical systems -- Combining and representing logical systems -- A deciding algorithm for linear isomorphism of types with complexity O(nlog 2(n)). -- Effectiveness of the global modulus of continuity on metric spaces -- Proof principles for datatypes with iterated recursion -- When Do Datatypes Commute? -- A calculus for collections and aggregates -- Lifting -- General synthetic domain theory ? A logical approach (extended abstract). 330 $aThis book constitutes the refereed proceedings of the 7th International Conference on Category Theory and Computer Science, CTCS'97, held in Santa Margheria Ligure, Italy, in September 1997. Category theory attracts interest in the theoretical computer science community because of its ability to establish connections between different areas in computer science and mathematics and to provide a few generic principles for organizing mathematical theories. This book presents a selection of 15 revised full papers together with three invited contributions. The topics addressed include reasoning principles for types, rewriting, program semantics, and structuring of logical systems. 410 0$aLecture Notes in Computer Science,$x0302-9743 ;$v1290 606 $aComputer architecture 606 $aProgramming languages (Electronic computers) 606 $aComputer logic 606 $aLogic, Symbolic and mathematical 606 $aK-theory 606 $aComputer System Implementation$3https://scigraph.springernature.com/ontologies/product-market-codes/I13057 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 606 $aMathematical Logic and Formal Languages$3https://scigraph.springernature.com/ontologies/product-market-codes/I16048 606 $aK-Theory$3https://scigraph.springernature.com/ontologies/product-market-codes/M11086 606 $aMathematical Logic and Foundations$3https://scigraph.springernature.com/ontologies/product-market-codes/M24005 615 0$aComputer architecture. 615 0$aProgramming languages (Electronic computers) 615 0$aComputer logic. 615 0$aLogic, Symbolic and mathematical. 615 0$aK-theory. 615 14$aComputer System Implementation. 615 24$aProgramming Languages, Compilers, Interpreters. 615 24$aLogics and Meanings of Programs. 615 24$aMathematical Logic and Formal Languages. 615 24$aK-Theory. 615 24$aMathematical Logic and Foundations. 676 $a004/.01/5113 702 $aMoggi$b Eugenio$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aRosolini$b Giuseppe$4edt$4http://id.loc.gov/vocabulary/relators/edt 712 12$aBiennial Conference on Category Theory in Computer Science$d(7th :$f1997 :$eSanta Margherita Ligure, Italy) 906 $aBOOK 912 $a9910144916503321 996 $aCategory theory and computer science$9382680 997 $aUNINA