
AMS eBook CollectionsOne of the world's most respected mathematical collections, available in digital format for your library or institution
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: https://doi.org/10.1090/conm/092
MathSciNet review: 1003190
Table of Contents
Download chapters as PDF
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]