WELCOME TO MOI UNIVERSITY LIBRARY SERVICES

Please, type in the keywords, the title, subject, or author name below for your search. For detailed manual see this manual
Amazon cover image
Image from Amazon.com

Applications of categories in computer science : proceedings of the LMS Symposium, Durham 1991 / edited by M.P. Fourman, P.T. Johnstone, A.M. Pitts.

By: Contributor(s): Material type: TextTextSeries: London Mathematical Society lecture note series ; 177Publication details: Cambridge ; New York : Cambridge University Press, 1991Description: 339 pages. : illustrations. ; 23 cmISBN:
  • 0521427266
Subject(s): LOC classification:
  • QA 76.9 .M35L57 1991
Online resources:
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.
Tags from this library: No tags from this library for this title. Log in to add tags.
Star ratings
    Average rating: 0.0 (0 votes)
Holdings
Item type Current library Call number Status Barcode
Loan Margaret Thatcher Library Second Floor QA 76.9 .M35L57 1991 (Browse shelf(Opens below)) Available 10015783
Loan Margaret Thatcher Library Second Floor QA 76.9 .M35L57 1991 (Browse shelf(Opens below)) Available 10015784

"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.

Includes bibliographical references.

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.

There are no comments on this title.

to post a comment.

Copyright @ The Margaret Thatcher Library August 2023
T