LEADER 03597nam 2200613 450 001 9910480255503321 005 20170828133219.0 010 $a0-8218-7680-5 035 $a(CKB)3240000000069619 035 $a(EBL)3112902 035 $a(SSID)ssj0001034659 035 $a(PQKBManifestationID)11586766 035 $a(PQKBTitleCode)TC0001034659 035 $a(PQKBWorkID)11015742 035 $a(PQKB)10104294 035 $a(MiAaPQ)EBC3112902 035 $a(WaSeSS)Ind00039315 035 $a(PPN)197104134 035 $a(EXLCZ)993240000000069619 100 $a19890403h19891989 uy| 0 101 0 $aeng 135 $aur|n|---||||| 181 $ctxt 182 $cc 183 $acr 200 10$aCategories in computer science and logic $eproceedings of the AMS-IMS-SIAM Joint Summer Research Conference held June 14-20, 1987 with support from the National Science Foundation /$fJohn W. Gray and Andre Scedrov, editors 210 1$aProvidence, Rhode Island :$cAmerican Mathematical Society,$d[1989] 210 4$dİ1989 215 $a1 online resource (394 p.) 225 1 $aContemporary mathematics,$x0271-4132 ;$vvolume 92 300 $a"The AMS-IMS-SIAM Joint Summer Research Conference in the Mathematical Sciences on Categories in Computer Science and Logic was held at University of Colorado, Boulder, Colo., on June 14-20, 1987 with support from the National Science Foundation"--T.p verso. 311 $a0-8218-5100-4 320 $aIncludes bibliographical references. 327 $a""Contents""; ""Preface""; ""Models of Horn theories""; ""Geometric invariance of existential fixed-point logic""; ""On the decidability of objects in a locos""; ""The Dialectica categories""; ""Combinators""; ""Polynat in per""; ""Towards a geometry of interaction""; ""The category of sketches as a model for algebraic semantics""; ""The theory of constructions: Categorical semantics and topos-theoretic models""; ""Introduction""; ""1. The theory of constructions""; ""2. Categorical interpretation of type theories""; ""3. Lim theories""; ""4. Algebraic toposes"" 327 $a""5. Localic algebraic toposes""""References""; ""A simple model of the theory of constructions""; ""Multicategories revisited""; ""An application of minimal context-free intersection partitions to rewrite rule consistency checking""; ""Qualitative distinctions between some toposes of generalized graphs""; ""Typed lambda models and cartesian closed categories""; ""Some connections between models of computation""; ""Some applications of categorical model theory""; ""Coherence for bicategories with finite Bilimits I""; ""On partial Cartesian closed categories""; ""Normalization revisited"" 327 $a""Linear logic, *-autonomous categories and cofree coalgebras"" 410 0$aContemporary mathematics (American Mathematical Society) ;$v; v. 92. 606 $aComputer science$xMathematics$vCongresses 606 $aCategories (Mathematics)$vCongresses 608 $aElectronic books. 615 0$aComputer science$xMathematics 615 0$aCategories (Mathematics) 676 $a004/.01/5 702 $aGray$b John W$g(John Walker),$f1931- 702 $aS?c?edrov$b Andrej$f1955- 712 02$aNational Science Foundation, 712 12$aAMS-IMS-SIAM Joint Summer Research Conference in the Mathematical Sciences on Categories in Computer Science and Logic 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910480255503321 996 $aCategories in computer science and logic$9343951 997 $aUNINA