Description |
1 online resource (339 pages) : illustrations. |
Physical Medium |
polychrome |
Description |
text file |
Series |
London Mathematical Society lecture note series ; 177
|
|
London Mathematical Society lecture note series ; 177.
|
Note |
Title from PDF title page (viewed on Apr. 9, 2013). |
|
"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"--Preface. |
Bibliography |
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. |
Local Note |
eBooks on EBSCOhost EBSCO eBook Subscription Academic Collection - North America |
Subject |
Computer science -- Mathematics -- Congresses.
|
|
Computer science -- Mathematics. |
|
Categories (Mathematics) -- Congresses.
|
|
Categories (Mathematics) |
Genre/Form |
Electronic books.
|
|
Conference papers and proceedings.
|
|
Conference papers and proceedings.
|
Added Author |
Fourman, M. P., 1950-
|
|
Johnstone, P. T.
|
|
Pitts, A. M. (Andrew M.)
|
Other Form: |
Print version: LMS Durham Symposium (1991). Applications of categories in computer science. Cambridge ; New York : Cambridge University Press, 1992 (DLC) 94220303 |
ISBN |
9781107361843 (electronic book) |
|
1107361842 (electronic book) |
|
9780511525902 (e-book) |
|
0511525907 (e-book) |
|
0521427266 |
|
9780521427265 |
|