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, Andre Scedrov · American Mathematical Society eBooks · 1989
Models of Horn theories by M. Barr Geometric invariance of existential fixed-point logic by A. Blass On the decidability of objects in a locos by J. R. B. Cockett The Dialectica categories by V. C. V. de Paiva Combinators by P. J. Freyd POLYNAT in PER by P. J. Freyd Towards a geometry of interaction by J.-Y. Girard The category of sketches as a model for algebraic semantics by J. W. Gray The theory of constructions: Categorical semantics and topos-theoretic models by J. M. E. Hyland and A. M. Pitts A simple model of the theory of constructions by F. Lamarche Multicategories revisited by J. Lambek An application of minimal context-free intersection partitions to rewrite rule consistency checking by D. M. Latch Qualitative distinctions between some toposes of generalized graphs by F. W. Lawvere Typed lambda models and cartesian closed categories by J. C. Mitchell and P. J. Scott Some connections between models of computation by P. S. Mulry Some applications of categorical model theory by R. Pare Coherence for bicategories with finite Bilimits I by A. J. Power On partial Cartesian closed categories by L. Roman Normalization revisited by A. Scedrov Linear logic, $\ast$-autonomous categories and cofree coalgebras by R. A. G. Seely.