Categories in computer science and logic : proceedings of the AMSIMSSIAM Joint Summer Research Conference held June 1420, 1987 with support from the National Science Foundation

Contributor(s): Gray John W | Scedrov AndrejMaterial type: Computer fileComputer fileSeries: Contemporary mathematics ; v. 92Publication details: Providence, R.I. : American Mathematical Society, c1989Description: 1 online resource (x, 382 p. : ill.)ISBN: 9780821876800 (online)Subject(s): Categories (Mathematics) | Computer scienceOnline resources: Click here to access online
Contents:
Models of Horn theories ; Geometric invariance of existential fixedpoint 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 topostheoretic models ; A simple model of the theory of constructions ; Multicategories revisited ; An application of minimal contextfree 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, utonomous categories and cofree coalgebras Michael Barr ; Andreas Blass ; J R B Cockett ; V C V de Paiva ; Peter Freyd ; Peter Freyd ; JeanYves Girard ; John W Gray ; J Martin E Hyland and Andrew M Pitts ; Francois Lamarche ; J Lambek ; Dana May Latch ; F William Lawvere ; John C Mitchell and Philip J Scott ; Philip S Mulry ; Robert Pare ; A J Power ; Leopoldo Roman ; Andre Scedrov ; R A G Seely
Tags from this library: No tags from this library for this title. Log in to add tags.
    Average rating: 0.0 (0 votes)
Item type Current library Call number URL Status Date due Barcode Item holds
electronic book electronic book ICTS
Link to resource Accessible Online EBK21094
Total holds: 0

The AMSIMSSIAM 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 1420, 1987 with support from the National Science FoundationT.p verso.

Includes bibliographical references.

Models of Horn theories ; Geometric invariance of existential fixedpoint 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 topostheoretic models ; A simple model of the theory of constructions ; Multicategories revisited ; An application of minimal contextfree 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, utonomous categories and cofree coalgebras Michael Barr ; Andreas Blass ; J R B Cockett ; V C V de Paiva ; Peter Freyd ; Peter Freyd ; JeanYves Girard ; John W Gray ; J Martin E Hyland and Andrew M Pitts ; Francois Lamarche ; J Lambek ; Dana May Latch ; F William Lawvere ; John C Mitchell and Philip J Scott ; Philip S Mulry ; Robert Pare ; A J Power ; Leopoldo Roman ; Andre Scedrov ; R A G Seely

There are no comments on this title.

to post a comment.