عنوان

Category theory and computer science :

(Number (ISBN

354063455X

(Number (ISBN

9783540634553

Number

b763413

Title Proper

Category theory and computer science :

General Material Designation

[Book]

Other Title Information

7th international conference, CTCS 97, Santa Margherita Ligure, Italy, September 4-6, 1997 : proceedings /

First Statement of Responsibility

Eugenio Moggi, Giuseppe Rosolini (eds.).

Place of Publication, Distribution, etc.

New York :

Name of Publisher, Distributor, etc.

Springer-Verlag,

Date of Publication, Distribution, etc.

©1997.

Specific Material Designation and Extent of Item

313 pages :

Other Physical Details

illustrations ;

Dimensions

24 cm

Series Title

Lecture notes in computer science,

Volume Designation

1290

ISSN of Series

0302-9743 ;

Text of Note

"Seventh Meeting of the Biennial Conference on Category Theory in Computer Science"--Preface.

Text of Note

Includes bibliographical references.

Text of Note

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.

0

Terms of Availability

No price

Categories (Mathematics), Congresses.

Computer science-- Mathematics, Congresses.

Categorieën (wiskunde)

Categories (Mathematics)

Catégories (mathématiques)-- Congrès.

Computer science-- Mathematics.

Computers.

Informatik

Informatique-- Mathématiques-- Congrès.

Kategorientheorie

Kongress

Theoretische Informatik

QA

Number

Edition

Class number

Book number

Class number

Class number

Class number

Class number

Class number

Class number

Class number

System Code

System Code

System Code

System Code

System Code

System Code

System Code

Moggi, Eugenio.

Rosolini, G., (Giuseppe),1954-

Biennial Conference on Category Theory in Computer Science(7th :1997 :, Santa Margherita Ligure, Italy)

Date of Transaction

20201204225505.0

Electronic name

[Book]

Y