000 -LEADER |
fixed length control field |
02421nmm a2200205Ia 4500 |
008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION |
fixed length control field |
230306s9999||||xx |||||||||||||||||und|| |
020 ## - INTERNATIONAL STANDARD BOOK NUMBER |
International Standard Book Number |
9780821876800 (online) |
245 #0 - TITLE STATEMENT |
Title |
Categories in computer science and logic : |
Remainder of title |
proceedings of the AMSIMSSIAM Joint Summer Research Conference held June 1420, 1987 with support from the National Science Foundation |
260 ## - PUBLICATION, DISTRIBUTION, ETC. |
Place of publication, distribution, etc. |
Providence, R.I. : |
Name of publisher, distributor, etc. |
American Mathematical Society, |
Date of publication, distribution, etc. |
c1989 |
300 ## - PHYSICAL DESCRIPTION |
Extent |
1 online resource (x, 382 p. : ill.) |
490 ## - SERIES STATEMENT |
Series statement |
Contemporary mathematics |
Volume/sequential designation |
v. 92 |
International Standard Serial Number |
10983627 |
500 ## - GENERAL NOTE |
General note |
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. |
504 ## - BIBLIOGRAPHY, ETC. NOTE |
Bibliography, etc. note |
Includes bibliographical references. |
505 ## - FORMATTED CONTENTS NOTE |
Title |
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, |
-- |
|
Formatted contents note |
utonomous categories and cofree coalgebras |
Statement of responsibility |
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 |
650 ## - SUBJECT ADDED ENTRY--TOPICAL TERM |
Topical term or geographic name entry element |
Categories (Mathematics) |
650 ## - SUBJECT ADDED ENTRY--TOPICAL TERM |
Topical term or geographic name entry element |
Computer science |
700 ## - ADDED ENTRY--PERSONAL NAME |
Personal name |
Gray John W |
700 ## - ADDED ENTRY--PERSONAL NAME |
Personal name |
Scedrov Andrej |
856 ## - ELECTRONIC LOCATION AND ACCESS |
Uniform Resource Identifier |
<a href="http://www.ams.org/conm/092/">http://www.ams.org/conm/092/</a> |