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
Material type: Computer 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 onlineItem type | Current library | Call number | URL | Status | Date due | Barcode | Item holds |
---|---|---|---|---|---|---|---|
electronic book | ICTS | Link to resource | Accessible Online | EBK21094 |
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.