Cover Image

Applications of categories in computer science : proceedings of the LMS Symposium, Durham 1991 /

Bibliographic Details
Corporate Author: LMS Durham Symposium
Other Authors: Fourman, M. P., 1950-, Johnstone, P. T., Pitts, A. M. (Andrew M.)
Format: Conference Proceeding Book
Language:English
Published: Cambridge ; New York : Cambridge University Press, 1992.
Series:London Mathematical Society lecture note series ; 177.
Subjects:
Computer science > Mathematics > Congresses.
Categories (Mathematics) > Congresses.
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.