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 --

Access is restricted to licensed institutions

Electronic reproduction.
Providence, Rhode Island :
American Mathematical Society.

Mode of access : World Wide Web

9780821876800 (online)

Computer science--Mathematics--Congresses.
Categories (Mathematics)--Congresses.

QA76.9.M35 / A47 1987

The Institute of Mathematical Sciences, Chennai, India

Powered by Koha