Can I read Applications of categories in computer science : proceedings of the LMS Symposium, Durham 1991 on EtoBox?

Applications of categories in computer science : proceedings of the LMS Symposium, Durham 1991 by LMS Durham Symposium (1991), Fourman, M. P., 1950-, Johnstone, P. T, Pitts, A. M. (Andrew M.) is a book available to read on EtoBox.

What is Applications of categories in computer science : proceedings of the LMS Symposium, Durham 1991 about?

Applications of category theory and related topics of mathematics to computer science have been a growing area in recent years. This book contains selected papers on the subject from the London Mathematical Society Symposium held at the University of Durham in July 1991., Issue: 2011 12 30, \"The London Mathematical Society Symposium on Applications of Categories in Computer Science took place ... at the University of Durham from 20 to 30 July 1991.\"--Pref, Includes bibliographical references, 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. Ten

Author

LMS Durham Symposium (1991), Fourman, M. P., 1950-, Johnstone, P. T, Pitts, A. M. (Andrew M.)

Publisher

Cambridge ; New York : Cambridge University Press

Published

1992

Language

EN