Title Categories in computer science and logic : proceedings of the AMS-IMS-SIAM Joint Summer Research Conference held June 14-20, 1987 with support from the National Science Foundation / John W. Gray and Andre Scedrov, editors

Published Providence, R.I. : American Mathematical Society, ©1989

Click on the following:
ProQuest Ebook Central

Copies

Description 1 online resource (x, 382 pages) : illustrations Series Contemporary mathematics, 0271-4132 ; v. 92 Contemporary mathematics (American Mathematical Society) ; ; v. 92. Contents Models of Horn theories / Michael Barr -- http://www.ams.org/conm/092/'>http://www.ams.org/conm/092/'>http://www.ams.org/conm/092/'>http://www.ams.org/conm/092/'>http://www.ams.org/conm/092/'>http://www.ams.org/conm/092/'>http://www.ams.org/conm/092/'>http://www.ams.org/conm/092/'>http://www.ams.org/conm/092/'>http://www.ams.org/conm/092/'>http://www.ams.org/conm/092/'>http://www.ams.org/conm/092/'>http://www.ams.org/conm/092/'>http://www.ams.org/conm/092/'>http://www.ams.org/conm/092/'>http://www.ams.org/conm/092/'>http://www.ams.org/conm/092/'>http://www.ams.org/conm/092/'>http://www.ams.org/conm/092/'>http://www.ams.org/conm/092/ http://dx.doi.org/10.1090/conm/092/1003191 Geometric invariance of existential fixed-point logic / Andreas Blass -- http://www.ams.org/conm/092/ http://dx.doi.org/10.1090/conm/092/1003192 On the decidability of objects in a locos / J. R. B. Cockett -- http://www.ams.org/conm/092/ http://dx.doi.org/10.1090/conm/092/1003193 The Dialectica categories / V. C. V. de Paiva -- http://www.ams.org/conm/092/ http://dx.doi.org/10.1090/conm/092/1003194 Combinators / Peter Freyd -- http://www.ams.org/conm/092/ http://dx.doi.org/10.1090/conm/092/1003195 POLYNAT in PER / Peter Freyd -- http://www.ams.org/conm/092/ http://dx.doi.org/10.1090/conm/092/1003196 Towards a geometry of interaction / Jean-Yves Girard -- http://www.ams.org/conm/092/ http://dx.doi.org/10.1090/conm/092/1003197 The category of sketches as a model for algebraic semantics / John W. Gray -- http://www.ams.org/conm/092/ http://dx.doi.org/10.1090/conm/092/1003198 The theory of constructions: categorical semantics and topos-theoretic models / J. Martin E. Hyland and Andrew M. Pitts -- http://www.ams.org/conm/092/ http://dx.doi.org/10.1090/conm/092/1003199 A simple model of the theory of constructions / François Lamarche -- http://www.ams.org/conm/092/ http://dx.doi.org/10.1090/conm/092/1003200 Multicategories revisited / J. Lambek -- http://www.ams.org/conm/092/ http://dx.doi.org/10.1090/conm/092/1003201 An application of minimal context-free intersection partitions to rewrite rule consistency checking / Dana May Latch -- http://www.ams.org/conm/092/ http://dx.doi.org/10.1090/conm/092/1003202 Qualitative distinctions between some toposes of generalized graphs / F. William Lawvere -- http://www.ams.org/conm/092/ http://dx.doi.org/10.1090/conm/092/1003203 Typed lambda models and Cartesian closed categories (preliminary version) / John C. Mitchell and Philip J. Scott -- http://www.ams.org/conm/092/ http://dx.doi.org/10.1090/conm/092/1003204 Some connections between models of computation / Philip S. Mulry -- http://www.ams.org/conm/092/ http://dx.doi.org/10.1090/conm/092/1003205 Some applications of categorical model theory / Robert Paré -- http://www.ams.org/conm/092/ http://dx.doi.org/10.1090/conm/092/1003206 Coherence for bicategories with finite bilimits. I / A. J. Power -- http://www.ams.org/conm/092/ http://dx.doi.org/10.1090/conm/092/1003207 On partial Cartesian closed categories / Leopoldo Román -- http://www.ams.org/conm/092/ http://dx.doi.org/10.1090/conm/092/1003208 Normalization revisited / Andre Scedrov -- http://www.ams.org/conm/092/ http://dx.doi.org/10.1090/conm/092/1003209 Linear logic, $*$-autonomous categories and cofree coalgebras / R. A. G. Seely -- http://www.ams.org/conm/092/ http://dx.doi.org/10.1090/conm/092/1003210 Bibliography Includes bibliographical references Notes Master and use copy. Digital master created according to Benchmark for Faithful Digital Reproductions of Monographs and Serials, Version 1. Digital Library Federation, December 2002. http://purl.oclc.org/DLF/benchrepro0212 MiAaHDL English digitized 2011 HathiTrust Digital Library committed to preserve pda MiAaHDL Print version record Subject Computer science -- Mathematics -- Congresses Categories (Mathematics) -- Congresses Categories (Mathematics) Computer science -- Mathematics Informatique -- Mathématiques -- Congrès. Catégories (Mathématiques) -- Congrès. Genre/Form Conference papers and proceedings Form Electronic book Author Gray, John W. (John Walker), 1931- Ščedrov, Andrej, 1955- National Science Foundation (U.S.) ISBN 9780821876800 0821876805

  Permalink