+612 9045 4394
 
CHECKOUT
Applications of Categories in Computer Science : Proceedings of the London Mathematical Society Symposium, Durham 1991 - M. P. Fourman

Applications of Categories in Computer Science

Proceedings of the London Mathematical Society Symposium, Durham 1991

By: M. P. Fourman (Editor), P. T. Johnstone (Editor), A. M. Pitts (Editor)

Paperback

Published: 14th September 1992
RRP $101.95
$85.90
16%
OFF
or 4 easy payments of $21.48 with Learn more
This title is not in stock at the Booktopia Warehouse and needs to be ordered from our supplier.
Click here to read more about delivery expectations.

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 leading computer scientists and mathematicians working in the area and this volume reflects the excitement and importance of the meeting. All the papers have been refereed and represent some of the most important and current ideas. Hence this book will be essential to mathematicians and computer scientists working in the applications of category theory.

Preface
Computational comonads and intensional semantics
Weakly distributed categories
Sequentiality and full abstraction
Remarks on algebraically compact categories
Dinaturality for free
Simply typed and untyped l-calculus revisited
Modelling reduction in confluent categories
On clubs and data-type constructors
Penrose diagrams and 2-dimensional rewriting
Strong monads, algebras and fixed points
Semantics of local variables
Using fibrations to understand subtypes
Reasoning about sequential functions via logical relations
I-categories and duality
Geometric theories and databases
Partial products, bagdomains and hyperlocal toposes
Table of Contents provided by Publisher. All Rights Reserved.

ISBN: 9780521427265
ISBN-10: 0521427266
Series: London Mathematical Society Lecture Note Series
Audience: Professional
Format: Paperback
Language: English
Number Of Pages: 352
Published: 14th September 1992
Publisher: Cambridge University Press
Country of Publication: GB
Dimensions (cm): 22.8 x 15.2  x 2.0
Weight (kg): 0.52