03593nam 2200613 450 991078878840332120170828133219.00-8218-7680-5(CKB)3240000000069619(EBL)3112902(SSID)ssj0001034659(PQKBManifestationID)11586766(PQKBTitleCode)TC0001034659(PQKBWorkID)11015742(PQKB)10104294(MiAaPQ)EBC3112902(WaSeSS)Ind00039315(RPAM)4345629(PPN)197104134(EXLCZ)99324000000006961919890403h19891989 uy| 0engur|n|---|||||txtccrCategories in computer science and logic proceedings of the AMS-IMS-SIAM Joint Summer Research Conference held June 14-20, 1987 with support from the National Science Foundation /John W. Gray and Andre Scedrov, editorsProvidence, Rhode Island :American Mathematical Society,[1989]©19891 online resource (394 p.)Contemporary mathematics,0271-4132 ;volume 92"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.0-8218-5100-4 Includes bibliographical references.""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""""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""""Linear logic, *-autonomous categories and cofree coalgebras""Contemporary mathematics (American Mathematical Society) ;; v. 92.Computer scienceMathematicsCongressesCategories (Mathematics)CongressesComputer scienceMathematicsCategories (Mathematics)004/.01/5Gray John W(John Walker),1931-Ščedrov Andrej1955-National Science Foundation,AMS-IMS-SIAM Joint Summer Research Conference in the Mathematical Sciences on Categories in Computer Science and LogicMiAaPQMiAaPQMiAaPQBOOK9910788788403321Categories in computer science and logic343951UNINA