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 /

Bibliographic Details
Call Number:Libro Electrónico
Corporate Authors: AMS-IMS-SIAM Joint Summer Research Conference in the Mathematical Sciences on Categories in Computer Science and Logic University of Colorado, Boulder, National Science Foundation (U.S.)
Other Authors: Gray, John W. (John Walker), 1931-, Ščedrov, Andrej, 1955-
Format: Electronic Conference Proceeding eBook
Language:Inglés
Published: Providence, R.I. : American Mathematical Society, ©1989.
Series:Contemporary mathematics (American Mathematical Society) ; ; v. 92.
Subjects:
Computer science > Mathematics > Congresses.
Categories (Mathematics) > Congresses.
Catégories (Mathématiques) > Congrès.
Informatique > Mathématiques > Congrès.
Categories (Mathematics)
Computer science > Mathematics
Conference papers and proceedings
Online Access:Texto completo
Table of Contents:
  • Models of Horn theories / Michael Barr
  • 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

Similar Items