Applications of categories in computer science : proceedings of the LMS Symposium, Durham 1991 /
Category theory and related topics of mathematics have been increasingly applied to computer science in recent years. This book contains selected papers from the London Mathematical Society Symposium on the subject which was held at the University of Durham. Participants at the conference were leadi...
| Corporate Authors: | , , , |
|---|---|
| Other Authors: | , , , |
| Format: | Conference Proceeding Book |
| Language: | English |
| Published: |
Cambridge ; New York :
Cambridge University Press,
1992
Cambridge [England] ; New York : 1992 Cambridge ; New York : 1992 |
| Series: | London Mathematical Society lecture note series ;
177 London Mathematical Society lecture note series 177 London Mathematical Society lecture note series ; 177 London Mathematical Society lecture note series 177 |
| Subjects: |
Table of Contents:
- Computational comonads and intensional semantics / Stephen Brookes, Shai Geva
- Weakly distributive categories / J.R.B. Cockett, R.A.G. Seely
- Sequentiality and full abstraction / P.-L. Curien
- Remarks on algebraically compact categories / Peter Freyd
- Dinaturality for free / Peter J. Freyd, Edmund P. Robinson, Giuseppe Rosolini
- Simply typed and untyped lambda calculus revisited / Bart Jacobs
- Modelling reduction in confluent categories / C. Barry Jay
- On clubs and data-type constructors / G.M. Kelly
- Penrose diagrams and 2-dimensional rewriting / Yves Lafont
- Strong monads, algebras and fixed points / Philip S. Mulry
- Semantics of local variables / P.W. O'Hearn, R.D. Tennent
- Using fibrations to understand subtypes / Wesley Phoa
- Reasoning about sequential functions via logical relations / Kurt Sieber
- I-categories and duality / M.B. Smyth
- Geometric theories and databases / Steven Vickers
- Partial products, bagdomains and hyperlocal toposes / P.T. Johnstone
- Computational comonads and intensional semantics / S. Brookes and S. Geva
- Weakly distributive categories / J.R.B. Cockett and R.A.G. Seely
- Sequentiality and full abstraction / P.-L. Curien
- Remarks on algebraically compact categories / P.J. Freyd
- Dinaturality for free / P.J. Freyd, E.P. Robinson and G. Rosolini
- Simply typed and untyped lambda calculus revisited / B. Jacobs
- Modelling reduction in confluent categories / C.B. Jay
- On clubs and data-type constructors / G.M. Kelly
- Penrose diagrams and 2-dimensional rewriting / Y. Lafont
- Strong monads, algebras and fixed points / P.S. Mulry
- Semantics of local variables / P.W. O'Hearn and R.D. Tennent
- Using fibrations to understand subtypes / W. Phoa
- Reasoning about sequential functions via logical relations / K. Sieber
- I-categories and duality / M.B. Smyth
- Geometric theories and databases / S. Vickers
- Partial products, bagdomains and hyperlocal toposes / P.T. Johnstone