LEADER 00884nam0-2200289 --450 001 9910432458003321 005 20210202111522.0 010 $a978-88-284-0025-7 020 $aIT$b2018-8405 100 $a20210202d2018----kmuy0itay5050 ba 101 0 $aita 102 $aIT 105 $aa a 001yy 200 1 $aArchitettura come amicizia$econversazioni con Mario Botta, Aurelio Galfetti, Luigi Snozzi, Livio Vacchini$fMarco Adriano Perletti 210 $a[Brescia]$cScholé$d2018 215 $a188 p.$cill.$d20 cm 225 1 $aOrso blu$v115 610 0 $aArchitetti ticinesi$aInterviste 676 $a720.92249478 700 1$aPerletti,$bMarco Adriano$0790509 801 0$aIT$bUNINA$gREICAT$2UNIMARC 901 $aBK 912 $a9910432458003321 952 $aARCH B 3433$b78/2021$fFARBC 959 $aFARBC 996 $aArchitettura come amicizia$91765396 997 $aUNINA LEADER 01176nam a22002771i 4500 001 991002719479707536 005 20030801070711.0 008 030925s1962 gw |||||||||||||||||ger 035 $ab12329162-39ule_inst 035 $aARCHE-037670$9ExL 040 $aBiblioteca Interfacoltà$bita$cA.t.i. Arché s.c.r.l. Pandora Sicilia s.r.l. 082 04$a831 245 00$aDeutsche Barocklyrik /$cAuswahl und Nachwort von Max Wehrli 250 $a3., erweiterte Aufl. 260 $aBasel ;$aStuttgart :$bBenno Schwabe & Co.,$cc1962 300 $a245 p. ;$c20 cm 440 0$aSammlung Klosterberg.$nNeue Folge 650 4$aPoesia tedesca$xSec. 17.$xAntologie 700 1 $aWehrli, Max$eauthor$4http://id.loc.gov/vocabulary/relators/aut$0192589 907 $a.b12329162$b02-04-14$c08-10-03 912 $a991002719479707536 945 $aLE002 Ted. III M 8$g1$i2002000031679$lle002$o-$pE0.00$q-$rl$s- $t0$u0$v0$w0$x0$y.i12729735$z08-10-03 945 $aLE002 Ted. III M 8 bis$g2$i2002000031686$lle002$o-$pE0.00$q-$rl$s- $t0$u0$v0$w0$x0$y.i12729747$z08-10-03 996 $aDeutsche Barocklyrik$9204077 997 $aUNISALENTO 998 $ale002$b08-10-03$cm$da $e-$fger$ggw $h0$i2 LEADER 05575nam 22008055 450 001 996465660003316 005 20240327181034.0 010 $a3-540-38413-8 024 7 $a10.1007/BFb0013452 035 $a(CKB)1000000000233706 035 $a(SSID)ssj0000321776 035 $a(PQKBManifestationID)11233994 035 $a(PQKBTitleCode)TC0000321776 035 $a(PQKBWorkID)10281031 035 $a(PQKB)10019071 035 $a(DE-He213)978-3-540-38413-7 035 $a(PPN)155188216 035 $a(EXLCZ)991000000000233706 100 $a20121227d1991 u| 0 101 0 $aeng 135 $aurnn#008mamaa 181 $ctxt 182 $cc 183 $acr 200 10$aCategory Theory and Computer Science$b[electronic resource] $eParis, France, September 3-6, 1991. Proceedings /$fedited by David H. Pitt, Pierre-Louis Curien, Samson Abramsky, Andrew Pitts, Axel Poigne, David E. Rydeheard 205 $a1st ed. 1991. 210 1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d1991. 215 $a1 online resource (VIII, 304 p.) 225 1 $aLecture Notes in Computer Science,$x0302-9743 ;$v530 300 $aBibliographic Level Mode of Issuance: Monograph 311 $a3-540-54495-X 327 $aStone duality for stable functions -- Bifinite domains: Stable case -- Local variables and non-interference in algol-like languages -- Categories of information systems -- Collapsing graph models by preorders -- Linear logic and interference control -- Higher dimensional word problem -- BCK-formulas having unique proofs -- Proof nets and coherence theorems -- A modular approach to denotational semantics -- Programs in partial algebras ? A categorical approach -- Tail recursion from universal invariants -- A direct proof of the intuitionistic Ramsey Theorem -- Constructions and predicates -- Relating models of impredicative type theories -- Two results on set-theoretic polymorphism -- An algebra of graphs and graph rewriting -- Dataflow networks are fibrations -- Applications of the calculus of trees to process description languages. 330 $aThe papers in this volume were presented at the fourth biennial Summer Conference on Category Theory and Computer Science, held in Paris, September3-6, 1991. Category theory continues to be an important tool in foundationalstudies in computer science. It has been widely applied by logicians to get concise interpretations of many logical concepts. Links between logic and computer science have been developed now for over twenty years, notably via the Curry-Howard isomorphism which identifies programs with proofs and types with propositions. The triangle category theory - logic - programming presents a rich world of interconnections. Topics covered in this volume include the following. Type theory: stratification of types and propositions can be discussed in a categorical setting. Domain theory: synthetic domain theory develops domain theory internally in the constructive universe of the effective topos. Linear logic: the reconstruction of logic based on propositions as resources leads to alternatives to traditional syntaxes. The proceedings of the previous three category theory conferences appear as Lecture Notes in Computer Science Volumes 240, 283 and 389. 410 0$aLecture Notes in Computer Science,$x0302-9743 ;$v530 606 $aMathematics 606 $aComputers 606 $aComputer logic 606 $aMathematical logic 606 $aProgramming languages (Electronic computers) 606 $aSoftware engineering 606 $aMathematics, general$3https://scigraph.springernature.com/ontologies/product-market-codes/M00009 606 $aTheory of Computation$3https://scigraph.springernature.com/ontologies/product-market-codes/I16005 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 $aProgramming Languages, Compilers, Interpreters$3https://scigraph.springernature.com/ontologies/product-market-codes/I14037 606 $aSoftware Engineering$3https://scigraph.springernature.com/ontologies/product-market-codes/I14029 615 0$aMathematics. 615 0$aComputers. 615 0$aComputer logic. 615 0$aMathematical logic. 615 0$aProgramming languages (Electronic computers). 615 0$aSoftware engineering. 615 14$aMathematics, general. 615 24$aTheory of Computation. 615 24$aLogics and Meanings of Programs. 615 24$aMathematical Logic and Formal Languages. 615 24$aProgramming Languages, Compilers, Interpreters. 615 24$aSoftware Engineering. 676 $a005.1 702 $aPitt$b David$g(David H.),$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aCurien$b Pierre-Louis$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aAbramsky$b Samson$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aPitts$b Andrew$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aPoigne$b Axel$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aRydeheard$b David E$4edt$4http://id.loc.gov/vocabulary/relators/edt 712 12$aSummer Conference on Category Theory and Computer Science$d(4th :$f1991 :$eParis, France) 906 $aBOOK 912 $a996465660003316 996 $aCategory theory and computer science$9382680 997 $aUNISA