Categories 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, editors

• Pubblicazione: Providence, Rhode Island : , : American Mathematical Society, , [1989]; ©1989
• Descrizione fisica: 1 online resource (394 p.)
• Disciplina: 004/.01/5
• Soggetto topico: Computer science - Mathematics; Categories (Mathematics)
• Soggetto genere / forma: Electronic books.
• Persona (resp. second.): GrayJohn W <1931-> (John Walker); ŠčedrovAndrej <1955->
• Note generali: "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.
• Nota di bibliografia: Includes bibliographical references.
• Nota di contenuto: ""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""
• Titolo autorizzato: Categories in computer science and logic
• ISBN: 0-8218-7680-5
• Formato: Materiale a stampa
• Livello bibliografico: Monografia
• Lingua di pubblicazione: Inglese
• Record Nr.: 9910480255503321
• Lo trovi qui: Univ. Federico II
• Serie: Contemporary mathematics (American Mathematical Society) ; ; ; v. 92.