000 | 02421nmm a2200205Ia 4500 | ||
---|---|---|---|
008 | 230306s9999||||xx |||||||||||||||||und|| | ||
020 | _a9780821876800 (online) | ||
245 | 0 |
_aCategories in computer science and logic : _bproceedings of the AMSIMSSIAM Joint Summer Research Conference held June 1420, 1987 with support from the National Science Foundation |
|
260 |
_aProvidence, R.I. : _bAmerican Mathematical Society, _cc1989 |
||
300 | _a1 online resource (x, 382 p. : ill.) | ||
490 |
_aContemporary mathematics _vv. 92 _x10983627 |
||
500 | _aThe 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. | ||
504 | _aIncludes bibliographical references. | ||
505 |
_tModels 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, _* _autonomous categories and cofree coalgebras _rMichael 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 |
||
650 | _aCategories (Mathematics) | ||
650 | _aComputer science | ||
700 | _aGray John W | ||
700 | _aScedrov Andrej | ||
856 | _uhttp://www.ams.org/conm/092/ | ||
999 |
_c28507 _d28507 |