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 / [electronic resource]
John W. Gray and Andre Scedrov, editors.
- Providence, R.I. : American Mathematical Society, c1989.
- 1 online resource (x, 382 p. : ill.)
- Contemporary mathematics, v. 92 0271-4132 (print); 1098-3627 (online); .
- Contemporary mathematics (American Mathematical Society) ; v. 92. .
"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.
Includes bibliographical references.
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 / 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 (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, $*$-autonomous categories and cofree coalgebras / Michael Barr -- Andreas Blass -- J. R. B. Cockett -- V. C. V. de Paiva -- Peter Freyd -- Peter Freyd -- Jean-Yves Girard -- John W. Gray -- J. Martin E. Hyland and Andrew M. Pitts -- Fran�cois Lamarche -- J. Lambek -- Dana May Latch -- F. William Lawvere -- John C. Mitchell and Philip J. Scott -- Philip S. Mulry -- Robert Par�e -- A. J. Power -- Leopoldo Rom�an -- Andre Scedrov -- R. A. G. Seely -- http://www.ams.org/conm/092/ http://dx.doi.org/10.1090/conm/092/1003191 http://www.ams.org/conm/092/ http://dx.doi.org/10.1090/conm/092/1003192 http://www.ams.org/conm/092/ http://dx.doi.org/10.1090/conm/092/1003193 http://www.ams.org/conm/092/ http://dx.doi.org/10.1090/conm/092/1003194 http://www.ams.org/conm/092/ http://dx.doi.org/10.1090/conm/092/1003195 http://www.ams.org/conm/092/ http://dx.doi.org/10.1090/conm/092/1003196 http://www.ams.org/conm/092/ http://dx.doi.org/10.1090/conm/092/1003197 http://www.ams.org/conm/092/ http://dx.doi.org/10.1090/conm/092/1003198 http://www.ams.org/conm/092/ http://dx.doi.org/10.1090/conm/092/1003199 http://www.ams.org/conm/092/ http://dx.doi.org/10.1090/conm/092/1003200 http://www.ams.org/conm/092/ http://dx.doi.org/10.1090/conm/092/1003201 http://www.ams.org/conm/092/ http://dx.doi.org/10.1090/conm/092/1003202 http://www.ams.org/conm/092/ http://dx.doi.org/10.1090/conm/092/1003203 http://www.ams.org/conm/092/ http://dx.doi.org/10.1090/conm/092/1003204 http://www.ams.org/conm/092/ http://dx.doi.org/10.1090/conm/092/1003205 http://www.ams.org/conm/092/ http://dx.doi.org/10.1090/conm/092/1003206 http://www.ams.org/conm/092/ http://dx.doi.org/10.1090/conm/092/1003207 http://www.ams.org/conm/092/ http://dx.doi.org/10.1090/conm/092/1003208 http://www.ams.org/conm/092/ http://dx.doi.org/10.1090/conm/092/1003209 http://www.ams.org/conm/092/ http://dx.doi.org/10.1090/conm/092/1003210
Access is restricted to licensed institutions
Electronic reproduction.
Providence, Rhode Island :
American Mathematical Society.
2012
Mode of access : World Wide Web
9780821876800 (online)
Computer science--Mathematics--Congresses.
Categories (Mathematics)--Congresses.
QA76.9.M35 / A47 1987
004/.01/5
"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.
Includes bibliographical references.
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 / 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 (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, $*$-autonomous categories and cofree coalgebras / Michael Barr -- Andreas Blass -- J. R. B. Cockett -- V. C. V. de Paiva -- Peter Freyd -- Peter Freyd -- Jean-Yves Girard -- John W. Gray -- J. Martin E. Hyland and Andrew M. Pitts -- Fran�cois Lamarche -- J. Lambek -- Dana May Latch -- F. William Lawvere -- John C. Mitchell and Philip J. Scott -- Philip S. Mulry -- Robert Par�e -- A. J. Power -- Leopoldo Rom�an -- Andre Scedrov -- R. A. G. Seely -- http://www.ams.org/conm/092/ http://dx.doi.org/10.1090/conm/092/1003191 http://www.ams.org/conm/092/ http://dx.doi.org/10.1090/conm/092/1003192 http://www.ams.org/conm/092/ http://dx.doi.org/10.1090/conm/092/1003193 http://www.ams.org/conm/092/ http://dx.doi.org/10.1090/conm/092/1003194 http://www.ams.org/conm/092/ http://dx.doi.org/10.1090/conm/092/1003195 http://www.ams.org/conm/092/ http://dx.doi.org/10.1090/conm/092/1003196 http://www.ams.org/conm/092/ http://dx.doi.org/10.1090/conm/092/1003197 http://www.ams.org/conm/092/ http://dx.doi.org/10.1090/conm/092/1003198 http://www.ams.org/conm/092/ http://dx.doi.org/10.1090/conm/092/1003199 http://www.ams.org/conm/092/ http://dx.doi.org/10.1090/conm/092/1003200 http://www.ams.org/conm/092/ http://dx.doi.org/10.1090/conm/092/1003201 http://www.ams.org/conm/092/ http://dx.doi.org/10.1090/conm/092/1003202 http://www.ams.org/conm/092/ http://dx.doi.org/10.1090/conm/092/1003203 http://www.ams.org/conm/092/ http://dx.doi.org/10.1090/conm/092/1003204 http://www.ams.org/conm/092/ http://dx.doi.org/10.1090/conm/092/1003205 http://www.ams.org/conm/092/ http://dx.doi.org/10.1090/conm/092/1003206 http://www.ams.org/conm/092/ http://dx.doi.org/10.1090/conm/092/1003207 http://www.ams.org/conm/092/ http://dx.doi.org/10.1090/conm/092/1003208 http://www.ams.org/conm/092/ http://dx.doi.org/10.1090/conm/092/1003209 http://www.ams.org/conm/092/ http://dx.doi.org/10.1090/conm/092/1003210
Access is restricted to licensed institutions
Electronic reproduction.
Providence, Rhode Island :
American Mathematical Society.
2012
Mode of access : World Wide Web
9780821876800 (online)
Computer science--Mathematics--Congresses.
Categories (Mathematics)--Congresses.
QA76.9.M35 / A47 1987
004/.01/5