|
" Applications of categories in computer science : "
edited by M.P. Fourman, P.T. Johnstone, A.M. Pitts.
| Document Type
|
:
|
BL
|
| Record Number
|
:
|
688396
|
| Doc. No
|
:
|
b510585
|
| Main Entry
|
:
|
LMS Durham Symposium, (1991)
|
| Title & Author
|
:
|
Applications of categories in computer science : : proceedings of the LMS Symposium, Durham 1991 /\ edited by M.P. Fourman, P.T. Johnstone, A.M. Pitts.
|
| Publication Statement
|
:
|
Cambridge ;New York :: Cambridge University Press,, 1992.
|
| Series Statement
|
:
|
London Mathematical Society lecture note series ;; 177
|
| Page. NO
|
:
|
339 p. :: ill. ;; 23 cm.
|
| ISBN
|
:
|
0521427266
|
|
|
:
|
: 9780521427265
|
| Notes
|
:
|
"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.
|
| Bibliographies/Indexes
|
:
|
Includes bibliographical references.
|
| 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.
|
| Subject
|
:
|
Categories (Mathematics), Congresses.
|
| Subject
|
:
|
Computer science-- Mathematics, Congresses.
|
| Dewey Classification
|
:
|
004.01
|
| LC Classification
|
:
|
QA76.9.M35L57 1991
|
| Added Entry
|
:
|
Fourman, M. P.,1950-
|
|
|
:
|
Johnstone, P. T.
|
|
|
:
|
Pitts, A. M., (Andrew M.)
|
| |