Applications of categories in computer science : proceedings of the LMS Symposium, Durham, 1991
著者
書誌事項
Applications of categories in computer science : proceedings of the LMS Symposium, Durham, 1991
（London Mathematical Society lecture note series, 177）
Cambridge University Press, 1992
大学図書館所蔵 件 / 全69件
-
該当する所蔵館はありません
- すべての絞り込み条件を解除する
注記
"The London Mathematical Society Symposium on Applications of Categories in Computer Science took place in the Department of Mathematical Sciences at the University of Durham from 20 to 30 July 1991"--Pref
Includes bibliographical references
内容説明・目次
内容説明
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 S. Brookes and S. Geva
- Weakly distributed 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 l-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. Tennant
- 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.
「Nielsen BookData」 より
