000 05207cam a2200433 a 4500
001 4345629
003 RPAM
005 20201106112331.0
006 aa b 100 0
007 cr/|||||||||||
008 140929s1989 riua ob 100 0 eng
020 _a9780821876800 (online)
040 _aDLC
_cDLC
_dDLC
_dRPAM
050 0 0 _aQA76.9.M35
_bA47 1987
082 0 0 _a004/.01/5
_220
111 2 _aAMS-IMS-SIAM Joint Summer Research Conference in the Mathematical Sciences on Categories in Computer Science and Logic
_d(1987 :
_cUniversity of Colorado, Boulder)
245 1 0 _aCategories in computer science and logic :
_h[electronic resource]
_bproceedings of the AMS-IMS-SIAM Joint Summer Research Conference held June 14-20, 1987 with support from the National Science Foundation /
_cJohn W. Gray and Andre Scedrov, editors.
260 _aProvidence, R.I. :
_bAmerican Mathematical Society,
_cc1989.
300 _a1 online resource (x, 382 p. : ill.)
490 1 _aContemporary mathematics,
_x0271-4132 (print);
_x1098-3627 (online);
_vv. 92
500 _a"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.
504 _aIncludes bibliographical references.
505 0 0 _tModels of Horn theories /
_rMichael Barr --
_uhttp://www.ams.org/conm/092/
_uhttp://dx.doi.org/10.1090/conm/092/1003191
_tGeometric invariance of existential fixed-point logic /
_rAndreas Blass --
_uhttp://www.ams.org/conm/092/
_uhttp://dx.doi.org/10.1090/conm/092/1003192
_tOn the decidability of objects in a locos /
_rJ. R. B. Cockett --
_uhttp://www.ams.org/conm/092/
_uhttp://dx.doi.org/10.1090/conm/092/1003193
_tThe Dialectica categories /
_rV. C. V. de Paiva --
_uhttp://www.ams.org/conm/092/
_uhttp://dx.doi.org/10.1090/conm/092/1003194
_tCombinators /
_rPeter Freyd --
_uhttp://www.ams.org/conm/092/
_uhttp://dx.doi.org/10.1090/conm/092/1003195
_tPOLYNAT in PER /
_rPeter Freyd --
_uhttp://www.ams.org/conm/092/
_uhttp://dx.doi.org/10.1090/conm/092/1003196
_tTowards a geometry of interaction /
_rJean-Yves Girard --
_uhttp://www.ams.org/conm/092/
_uhttp://dx.doi.org/10.1090/conm/092/1003197
_tThe category of sketches as a model for algebraic semantics /
_rJohn W. Gray --
_uhttp://www.ams.org/conm/092/
_uhttp://dx.doi.org/10.1090/conm/092/1003198
_tThe theory of constructions: categorical semantics and topos-theoretic models /
_rJ. Martin E. Hyland and Andrew M. Pitts --
_uhttp://www.ams.org/conm/092/
_uhttp://dx.doi.org/10.1090/conm/092/1003199
_tA simple model of the theory of constructions /
_rFran�cois Lamarche --
_uhttp://www.ams.org/conm/092/
_uhttp://dx.doi.org/10.1090/conm/092/1003200
_tMulticategories revisited /
_rJ. Lambek --
_uhttp://www.ams.org/conm/092/
_uhttp://dx.doi.org/10.1090/conm/092/1003201
_tAn application of minimal context-free intersection partitions to rewrite rule consistency checking /
_rDana May Latch --
_uhttp://www.ams.org/conm/092/
_uhttp://dx.doi.org/10.1090/conm/092/1003202
_tQualitative distinctions between some toposes of generalized graphs /
_rF. William Lawvere --
_uhttp://www.ams.org/conm/092/
_uhttp://dx.doi.org/10.1090/conm/092/1003203
_tTyped lambda models and Cartesian closed categories (preliminary version) /
_rJohn C. Mitchell and Philip J. Scott --
_uhttp://www.ams.org/conm/092/
_uhttp://dx.doi.org/10.1090/conm/092/1003204
_tSome connections between models of computation /
_rPhilip S. Mulry --
_uhttp://www.ams.org/conm/092/
_uhttp://dx.doi.org/10.1090/conm/092/1003205
_tSome applications of categorical model theory /
_rRobert Par�e --
_uhttp://www.ams.org/conm/092/
_uhttp://dx.doi.org/10.1090/conm/092/1003206
_tCoherence for bicategories with finite bilimits. I /
_rA. J. Power --
_uhttp://www.ams.org/conm/092/
_uhttp://dx.doi.org/10.1090/conm/092/1003207
_tOn partial Cartesian closed categories /
_rLeopoldo Rom�an --
_uhttp://www.ams.org/conm/092/
_uhttp://dx.doi.org/10.1090/conm/092/1003208
_tNormalization revisited /
_rAndre Scedrov --
_uhttp://www.ams.org/conm/092/
_uhttp://dx.doi.org/10.1090/conm/092/1003209
_tLinear logic, $*$-autonomous categories and cofree coalgebras /
_rR. A. G. Seely --
_uhttp://www.ams.org/conm/092/
_uhttp://dx.doi.org/10.1090/conm/092/1003210
506 1 _aAccess is restricted to licensed institutions
533 _aElectronic reproduction.
_bProvidence, Rhode Island :
_cAmerican Mathematical Society.
_d2012
538 _aMode of access : World Wide Web
588 _aDescription based on print version record.
650 0 _aComputer science
_xMathematics
_xCongresses.
650 0 _aCategories (Mathematics)
_xCongresses.
700 1 _aGray, John W.
_q(John Walker),
_d1931-
700 1 _a�S�cedrov, Andrej,
_d1955-
710 2 _aNational Science Foundation.
776 0 _iPrint version:
_tCategories in computer science and logic :
_w(DLC) 89032893
_x0271-4132
_z9780821851005
786 _dAmerican Mathematical Society
830 0 _aContemporary mathematics (American Mathematical Society)
_v; v. 92.
856 4 _3Contents
_uhttp://www.ams.org/conm/092/
856 4 _3Contents
_uhttp://dx.doi.org/10.1090/conm/092
942 _2EBK11372
_cEBK
999 _c40666
_d40666