عنوان

Category theory and computer science :

354063455X

9783540634553

b763413

Category theory and computer science :

[Book]

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

Eugenio Moggi, Giuseppe Rosolini (eds.).

New York :

Springer-Verlag,

©1997.

313 pages :

illustrations ;

24 cm

Lecture notes in computer science,

1290

0302-9743 ;

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

Includes bibliographical references.

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

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

Moggi, Eugenio.

Rosolini, G., (Giuseppe),1954-

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

20201204225505.0

[Book]

Y