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
(Visualizza in formato marc)
(Visualizza in BIBFRAME)
| Titolo: |
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) | |
| 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.: | 9910828938603321 |
| Lo trovi qui: | Univ. Federico II |
| Opac: | Controlla la disponibilità qui |
Serie:
Contemporary mathematics (American Mathematical Society) ; ; ; v. 92.