|
" Category theory and computer science : "
Eugenio Moggi, Giuseppe Rosolini (eds.).
| Document Type
|
:
|
BL
|
| Record Number
|
:
|
1009043
|
| Doc. No
|
:
|
b763413
|
| Title & Author
|
:
|
Category theory and computer science : : 7th international conference, CTCS 97, Santa Margherita Ligure, Italy, September 4-6, 1997 : proceedings /\ Eugenio Moggi, Giuseppe Rosolini (eds.).
|
| Publication Statement
|
:
|
Berlin ;New York :: Springer-Verlag,, ©1997.
|
| Series Statement
|
:
|
Lecture notes in computer science,; 1290
|
| Page. NO
|
:
|
313 pages :: illustrations ;; 24 cm
|
| ISBN
|
:
|
354063455X
|
|
|
:
|
: 9783540634553
|
| Notes
|
:
|
"Seventh Meeting of the Biennial Conference on Category Theory in Computer Science"--Preface.
|
| Bibliographies/Indexes
|
:
|
Includes bibliographical references.
|
| Contents
|
:
|
An introduction to n-categories / John C. Baez -- Allegories as a basis for algorithmics / Richard S. Bird -- Separating shape from data / C. Barry Jay -- A factorisation theorem in rewriting theory / Paul-André Melliés -- Monads and modular term rewriting / Christoph Lueth, Neil Ghani -- A 2-categorical presentation of term graph rewriting / Andrea Corradini, Fabio Gadducci -- Presheaf models for the [pi]-calculus / Gian Luca Cattani, Ian Stark, Glynn Winskel -- Categorical modelling of structural operational rules : case studies / Daniele Turi -- Specifying interaction categories / Dusko Pavlović, Samson Abramsky -- Shedding new light in the world of logical systems / Uwe Wolter, Alfio Martini -- Combining and representing logical systems / Till Mossakowski, Andrzej Tarlecki, Wieslaw Pawlowski -- A deciding algorithm for linear isomorphism of types with complexity O(n log²(n)) / Alexander Andreev, Sergei Soloviev -- Effectiveness of the global modulus of continuity on metric spaces / Klaus Weihrauch, Xizhong Zheng -- Proof principles for datatypes with iterated recursion / Ulrich Hensel, Bart Jacobs -- When do datatypes commute? / Paul Hoogendijk, Roland Backhouse -- A calculus for collections and aggregates / Kazem Lellahi, Val Tannen -- Lifting / Anna Bucalo, Giuseppe Rosolini -- General synthetic domain theory : a logical approach / Bernhard Reus, Thomas Streicher.
|
| Subject
|
:
|
Categories (Mathematics), Congresses.
|
| Subject
|
:
|
Computer science-- Mathematics, Congresses.
|
| Subject
|
:
|
Categories (Mathematics)
|
| Subject
|
:
|
Catégories (mathématiques)-- Congrès.
|
| Subject
|
:
|
Computer science-- Mathematics.
|
| Subject
|
:
|
Informatik
|
| Subject
|
:
|
Informatique-- Mathématiques-- Congrès.
|
| Subject
|
:
|
Kategorientheorie
|
| Subject
|
:
|
Kongress
|
| Subject
|
:
|
Theoretische Informatik
|
| Subject
|
:
|
Categorieën (wiskunde)
|
| Subject
|
:
|
Computers.
|
| Dewey Classification
|
:
|
004/.01/5113
|
| LC Classification
|
:
|
QA76.9.M35C38 1997
|
| NLM classification
|
:
|
27sdnb
|
|
|
:
|
28sdnb
|
|
|
:
|
31.27bcl
|
|
|
:
|
54.10bcl
|
|
|
:
|
MAT 180fstub
|
|
|
:
|
SS 1997rvk
|
|
|
:
|
SS 4800rvk
|
| Added Entry
|
:
|
Moggi, Eugenio.
|
|
|
:
|
Rosolini, G., (Giuseppe),1954-
|
| Added Entry
|
:
|
Biennial Conference on Category Theory in Computer Science(7th :1997 :, Santa Margherita Ligure, Italy)
|
| |