عنوان
پدید آورنده
موضوع
رده
QA76.9.M35 L57 1991
QA76
.
9
.
M35
L57
1991
کتابخانه
محل استقرار
INTERNATIONAL STANDARD BOOK NUMBER
(Number (ISBN
0521427266
(Number (ISBN
9780521427265
NATIONAL BIBLIOGRAPHY NUMBER
Number
b510585
TITLE AND STATEMENT OF RESPONSIBILITY
Title Proper
Applications of categories in computer science :
General Material Designation
[Book]
Other Title Information
proceedings of the LMS Symposium, Durham 1991 /
First Statement of Responsibility
edited by M.P. Fourman, P.T. Johnstone, A.M. Pitts.
.PUBLICATION, DISTRIBUTION, ETC
Place of Publication, Distribution, etc.
New York :
Name of Publisher, Distributor, etc.
Cambridge University Press,
Date of Publication, Distribution, etc.
1992.
PHYSICAL DESCRIPTION
Specific Material Designation and Extent of Item
339 p. :
Other Physical Details
ill. ;
Dimensions
23 cm.
SERIES
Series Title
London Mathematical Society lecture note series ;
Volume Designation
177
GENERAL NOTES
Text of Note
"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.
INTERNAL BIBLIOGRAPHIES/INDEXES NOTE
Text of Note
Includes bibliographical references.
CONTENTS NOTE
Text of Note
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.
0
TOPICAL NAME USED AS SUBJECT
Categories (Mathematics), Congresses.
Computer science-- Mathematics, Congresses.
DEWEY DECIMAL CLASSIFICATION
Number
004
.
01
Edition
12
LIBRARY OF CONGRESS CLASSIFICATION
Class number
QA76
.
9
.
M35
Book number
L57
1991
PERSONAL NAME - ALTERNATIVE RESPONSIBILITY
Fourman, M. P.,1950-
Johnstone, P. T.
Pitts, A. M., (Andrew M.)
CORPORATE BODY NAME - PRIMARY RESPONSIBILITY
LMS Durham Symposium, (1991)
ORIGINATING SOURCE
Date of Transaction
20120212075421.0
ELECTRONIC LOCATION AND ACCESS
Electronic name
مطالعه متن کتاب [Book]
Y
