|
|
|
|
|
|
|
|
1. |
Record Nr. |
UNINA9910480255503321 |
|
|
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 |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
Providence, Rhode Island : , : American Mathematical Society, , [1989] |
|
©1989 |
|
|
|
|
|
|
|
|
|
ISBN |
|
|
|
|
|
|
Descrizione fisica |
|
1 online resource (394 p.) |
|
|
|
|
|
|
Collana |
|
Contemporary mathematics, , 0271-4132 ; ; volume 92 |
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
Soggetti |
|
Computer science - Mathematics |
Categories (Mathematics) |
Electronic books. |
|
|
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
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 |
|
|
|
|