| |
|
|
|
|
|
|
|
|
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 |
|
|
|
|
|
|
|
|
|
|
|
|
|
bicategories with finite Bilimits I""; ""On partial Cartesian closed categories""; ""Normalization revisited"" |
""Linear logic, *-autonomous categories and cofree coalgebras"" |
|
|
|
|
|
|
2. |
Record Nr. |
UNINA9910454322603321 |
|
|
Autore |
Manning Erin |
|
|
Titolo |
Relationscapes [[electronic resource] ] : movement, art, philosophy / / Erin Manning |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
Cambridge, Mass., : MIT Press, c2009 |
|
|
|
|
|
|
|
ISBN |
|
9786612240188 |
1-282-24018-8 |
0-262-25515-4 |
|
|
|
|
|
|
|
|
Descrizione fisica |
|
1 online resource (x, 268 p.) : ill |
|
|
|
|
|
|
Collana |
|
Technologies of lived abstraction |
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
Soggetti |
|
Movement (Philosophy) |
Technology |
Electronic books. |
|
|
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
Note generali |
|
Bibliographic Level Mode of Issuance: Monograph |
|
|
|
|
|
|
Nota di bibliografia |
|
Includes bibliographical references (p. [247]-255) and index. |
|
|
|
|
|
|
Sommario/riassunto |
|
Exploring the relation between sensation and thought through the prisms of dance, cinema, art, and the new media, Manning argues for the intensity of movement, developing the concept of preacceleration which makes palpable how movement creates relational intervals out of which displacements take form. |
|
|
|
|
|
|
|
| |