TY  - BOOK
AU  - Gray,John W.
AU  - �S�cedrov,Andrej
ED  - AMS-IMS-SIAM Joint Summer Research Conference in the Mathematical Sciences on Categories in Computer Science and Logic
ED  - National Science Foundation.
TI  - 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 
T2  - Contemporary mathematics, 
SN  - 9780821876800 (online)
AV  - QA76.9.M35 A47 1987
U1  - 004/.01/5 20
PY  - 1989///
CY  - Providence, R.I.
PB  - American Mathematical Society
KW  - Computer science
KW  - Mathematics
KW  - Congresses
KW  - Categories (Mathematics)
N1  - "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 --; http://www.ams.org/conm/092; http://dx.doi.org/10.1090/conm/092/1003191; Geometric invariance of existential fixed-point logic; Andreas Blass --; http://www.ams.org/conm/092; http://dx.doi.org/10.1090/conm/092/1003192; On the decidability of objects in a locos; J. R. B. Cockett --; http://www.ams.org/conm/092; http://dx.doi.org/10.1090/conm/092/1003193; The Dialectica categories; V. C. V. de Paiva --; http://www.ams.org/conm/092; http://dx.doi.org/10.1090/conm/092/1003194; Combinators; Peter Freyd --; http://www.ams.org/conm/092; http://dx.doi.org/10.1090/conm/092/1003195; POLYNAT in PER; Peter Freyd --; http://www.ams.org/conm/092; http://dx.doi.org/10.1090/conm/092/1003196; Towards a geometry of interaction; Jean-Yves Girard --; http://www.ams.org/conm/092; http://dx.doi.org/10.1090/conm/092/1003197; The category of sketches as a model for algebraic semantics; John W. Gray --; http://www.ams.org/conm/092; http://dx.doi.org/10.1090/conm/092/1003198; The theory of constructions: categorical semantics and topos-theoretic models; J. Martin E. Hyland and Andrew M. Pitts --; http://www.ams.org/conm/092; http://dx.doi.org/10.1090/conm/092/1003199; A simple model of the theory of constructions; Fran�cois Lamarche --; http://www.ams.org/conm/092; http://dx.doi.org/10.1090/conm/092/1003200; Multicategories revisited; J. Lambek --; http://www.ams.org/conm/092; http://dx.doi.org/10.1090/conm/092/1003201; An application of minimal context-free intersection partitions to rewrite rule consistency checking; Dana May Latch --; http://www.ams.org/conm/092; http://dx.doi.org/10.1090/conm/092/1003202; Qualitative distinctions between some toposes of generalized graphs; F. William Lawvere --; http://www.ams.org/conm/092; http://dx.doi.org/10.1090/conm/092/1003203; Typed lambda models and Cartesian closed categories (preliminary version); John C. Mitchell and Philip J. Scott --; http://www.ams.org/conm/092; http://dx.doi.org/10.1090/conm/092/1003204; Some connections between models of computation; Philip S. Mulry --; http://www.ams.org/conm/092; http://dx.doi.org/10.1090/conm/092/1003205; Some applications of categorical model theory; Robert Par�e --; http://www.ams.org/conm/092; http://dx.doi.org/10.1090/conm/092/1003206; Coherence for bicategories with finite bilimits. I; A. J. Power --; http://www.ams.org/conm/092; http://dx.doi.org/10.1090/conm/092/1003207; On partial Cartesian closed categories; Leopoldo Rom�an --; http://www.ams.org/conm/092; http://dx.doi.org/10.1090/conm/092/1003208; Normalization revisited; Andre Scedrov --; http://www.ams.org/conm/092; http://dx.doi.org/10.1090/conm/092/1003209; Linear logic, $*$-autonomous categories and cofree coalgebras; R. A. G. Seely --; 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
UR  - http://www.ams.org/conm/092/
UR  - http://dx.doi.org/10.1090/conm/092
ER  -