Normal view MARC view ISBD view

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.

By: AMS-IMS-SIAM Joint Summer Research Conference in the Mathematical Sciences on Categories in Computer Science and Logic (1987 : University of Colorado, Boulder).
Contributor(s): Gray, John W. (John Walker), 1931- | �S�cedrov, Andrej, 1955- | National Science Foundation.
Material type: materialTypeLabelBookSeries: Contemporary mathematics (American Mathematical Society): ; v. 92.Publisher: Providence, R.I. : American Mathematical Society, c1989Description: 1 online resource (x, 382 p. : ill.).ISBN: 9780821876800 (online).Subject(s): Computer science -- Mathematics -- Congresses | Categories (Mathematics) -- CongressesAdditional physical formats: Categories in computer science and logic :DDC classification: 004/.01/5 Online resources: Contents | Contents
Contents:
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
Tags from this library: No tags from this library for this title. Log in to add tags.
    average rating: 0.0 (0 votes)
Current location Call number URL Status Date due Barcode
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 -- 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

Mode of access : World Wide Web

Description based on print version record.

There are no comments for this item.

Log in to your account to post a comment.
The Institute of Mathematical Sciences, Chennai, India

Powered by Koha