Info
- Utilizzare la checkbox di selezione a fianco di ciascun documento per attivare le funzionalità di stampa, invio email, download nei formati disponibili del (i) record.
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
| 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 |
| Pubbl/distr/stampa | Providence, Rhode Island : , : American Mathematical Society, , [1989] |
| Descrizione fisica | 1 online resource (394 p.) |
| Disciplina | 004/.01/5 |
| Collana | Contemporary mathematics |
| Soggetto topico |
Computer science - Mathematics
Categories (Mathematics) |
| Soggetto genere / forma | Electronic books. |
| ISBN | 0-8218-7680-5 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| 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"" |
| Record Nr. | UNINA-9910480255503321 |
| Providence, Rhode Island : , : American Mathematical Society, , [1989] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
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
| 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 |
| Pubbl/distr/stampa | Providence, Rhode Island : , : American Mathematical Society, , [1989] |
| Descrizione fisica | 1 online resource (394 p.) |
| Disciplina | 004/.01/5 |
| Collana | Contemporary mathematics |
| Soggetto topico |
Computer science - Mathematics
Categories (Mathematics) |
| ISBN | 0-8218-7680-5 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| 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"" |
| Record Nr. | UNINA-9910788788403321 |
| Providence, Rhode Island : , : American Mathematical Society, , [1989] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
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
| 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 |
| Pubbl/distr/stampa | Providence, Rhode Island : , : American Mathematical Society, , [1989] |
| Descrizione fisica | 1 online resource (394 p.) |
| Disciplina | 004/.01/5 |
| Collana | Contemporary mathematics |
| Soggetto topico |
Computer science - Mathematics
Categories (Mathematics) |
| ISBN | 0-8218-7680-5 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| 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"" |
| Record Nr. | UNINA-9910828938603321 |
| Providence, Rhode Island : , : American Mathematical Society, , [1989] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||