Comprises six presentations on new developments in category theory from the March 1997 workshop. The topics are categorification, computads for finitary monads on globular sets, braided n- categories and a-structures, categories of vector bundles and Yang- Mills equations, the r…
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 …
Applications of categories in computer science: Proceedings of the LMS Symposium, Durham 1991
by Fourman, M. P., Johnstone, P. T., Pitts, A. M., Symposium on Applications of Categories in Computer Science, Durham), London Mathematical Society
fromLondon Mathematical Society lecture note series
Selected papers reflecting current research in categories and computer science.
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 …
Mathematical foundations of information flow: Clifford Lectures Information Flow in Physics, Ge…
by Clifford Lectures Information Flow in Physics, Geometry, and Logic and Computation:, New Orleans, La.), Tulane University., Department of Mathematics, Clifford, A. H.,, Clifford, Alfred Hoblitzelle
fromProceedings of symposia in applied mathematics
Mathematical foundations of information flow: Clifford Lectures Information Flow in Physics, Ge…
by Abramsky, Samson, Clifford, Alfred Hoblitzelle, Clifford Lectures Information Flow in Physics, Geometry, and Logic and Computation:, New Orleans, La.), Mislove, Michael W.
fromProceedings of symposia in applied mathematics
Mathematical foundations of information flow: Clifford Lectures Information Flow in Physics, Ge…
by Abramsky, Samson, Clifford, A. H., (Alfred Hoblitzelle), Mislove, Michael W., Tulane University., Department of Mathematics, Clifford Lectures Information Flow in Physics, Geometry, Logic and Computation, New Orleans, La.)
fromProceedings of symposia in applied mathematics