Categories in computer science and logic : proceedings of the AMSIMSSIAM Joint Summer Research Conference held June 1420, 1987 with support from the National Science Foundation
- Providence, R.I. : American Mathematical Society, c1989
- 1 online resource (x, 382 p. : ill.)
- Contemporary mathematics v. 92 10983627 .
The AMSIMSSIAM 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 1420, 1987 with support from the National Science FoundationT.p verso.
Includes bibliographical references.
a Models of Horn theories ; Geometric invariance of existential fixedpoint 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 topostheoretic models ; A simple model of the theory of constructions ; Multicategories revisited ; An application of minimal contextfree intersection partitions to rewrite rule consistency checking ; Qualitative distinctions between some toposes of generalized graphs ; Typed lambda models and Cartesian closed categories (preliminary version) ; 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, t r g u
9780821876800 (online)
Categories (Mathematics)
Computer science
The AMSIMSSIAM 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 1420, 1987 with support from the National Science FoundationT.p verso.
Includes bibliographical references.
a Models of Horn theories ; Geometric invariance of existential fixedpoint 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 topostheoretic models ; A simple model of the theory of constructions ; Multicategories revisited ; An application of minimal contextfree intersection partitions to rewrite rule consistency checking ; Qualitative distinctions between some toposes of generalized graphs ; Typed lambda models and Cartesian closed categories (preliminary version) ; 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, t r g u
9780821876800 (online)
Categories (Mathematics)
Computer science