Categories in computer science and logic : [electronic resource] 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.
Material type:

Current library | Home library | Call number | Materials specified | URL | Status | Date due | Barcode |
---|---|---|---|---|---|---|---|
IMSc Library | IMSc Library | Link to resource | Available | EBK11372 |
"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 / Michael Barr -- Geometric invariance of existential fixed-point logic / Andreas Blass -- On the decidability of objects in a locos / J. R. B. Cockett -- The Dialectica categories / V. C. V. de Paiva -- Combinators / Peter Freyd -- POLYNAT in PER / Peter Freyd -- Towards a geometry of interaction / Jean-Yves Girard -- The category of sketches as a model for algebraic semantics / John W. Gray -- The theory of constructions: categorical semantics and topos-theoretic models / J. Martin E. Hyland and Andrew M. Pitts -- A simple model of the theory of constructions / Fran�cois Lamarche -- Multicategories revisited / J. Lambek -- An application of minimal context-free intersection partitions to rewrite rule consistency checking / Dana May Latch -- Qualitative distinctions between some toposes of generalized graphs / F. William Lawvere -- Typed lambda models and Cartesian closed categories (preliminary version) / John C. Mitchell and Philip J. Scott -- Some connections between models of computation / Philip S. Mulry -- Some applications of categorical model theory / Robert Par�e -- Coherence for bicategories with finite bilimits. I / A. J. Power -- On partial Cartesian closed categories / Leopoldo Rom�an -- Normalization revisited / Andre Scedrov -- Linear logic, $*$-autonomous categories and cofree coalgebras / R. A. G. Seely --
http://dx.doi.org/10.1090/conm/092/1003191
http://dx.doi.org/10.1090/conm/092/1003192
http://dx.doi.org/10.1090/conm/092/1003193
http://dx.doi.org/10.1090/conm/092/1003194
http://dx.doi.org/10.1090/conm/092/1003195
http://dx.doi.org/10.1090/conm/092/1003196
http://dx.doi.org/10.1090/conm/092/1003197
http://dx.doi.org/10.1090/conm/092/1003198
http://dx.doi.org/10.1090/conm/092/1003199
http://dx.doi.org/10.1090/conm/092/1003200
http://dx.doi.org/10.1090/conm/092/1003201
http://dx.doi.org/10.1090/conm/092/1003202
http://dx.doi.org/10.1090/conm/092/1003203
http://dx.doi.org/10.1090/conm/092/1003204
http://dx.doi.org/10.1090/conm/092/1003205
http://dx.doi.org/10.1090/conm/092/1003206
http://dx.doi.org/10.1090/conm/092/1003207
http://dx.doi.org/10.1090/conm/092/1003208
http://dx.doi.org/10.1090/conm/092/1003209
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
Description based on print version record.
There are no comments on this title.