# Categories in Computer Science and Logic

### About this Title

**John W. Gray** and **Andre Scedrov**, Editors

Publication: Contemporary Mathematics

Publication Year
1989: Volume 92

ISBNs: 978-0-8218-5100-5 (print); 978-0-8218-7680-0 (online)

DOI: http://dx.doi.org/10.1090/conm/092

MathSciNet review: 1003190

### Table of Contents

**Front/Back Matter**

**Articles**

- Michael Barr – Models of Horn theories [MR 1003191]
- Andreas Blass – Geometric invariance of existential fixed-point logic [MR 1003192]
- J. R. B. Cockett – On the decidability of objects in a locos [MR 1003193]
- V. C. V. de Paiva – The Dialectica categories [MR 1003194]
- Peter Freyd – Combinators [MR 1003195]
- Peter Freyd – POLYNAT in PER [MR 1003196]
- Jean-Yves Girard – Towards a geometry of interaction [MR 1003197]
- John W. Gray – The category of sketches as a model for algebraic semantics [MR 1003198]
- J. Martin E. Hyland and Andrew M. Pitts – The theory of constructions: categorical semantics and topos-theoretic models [MR 1003199]
- François Lamarche – A simple model of the theory of constructions [MR 1003200]
- J. Lambek – Multicategories revisited [MR 1003201]
- Dana May Latch – An application of minimal context-free intersection partitions to rewrite rule consistency checking [MR 1003202]
- F. William Lawvere – Qualitative distinctions between some toposes of generalized graphs [MR 1003203]
- John C. Mitchell and Philip J. Scott – Typed lambda models and Cartesian closed categories (preliminary version) [MR 1003204]
- Philip S. Mulry – Some connections between models of computation [MR 1003205]
- Robert Paré – Some applications of categorical model theory [MR 1003206]
- A. J. Power – Coherence for bicategories with finite bilimits. I [MR 1003207]
- Leopoldo Román – On partial Cartesian closed categories [MR 1003208]
- Andre Scedrov – Normalization revisited [MR 1003209]
- R. A. G. Seely – Linear logic, $*$-autonomous categories and cofree coalgebras [MR 1003210]