عنوان

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

شاپا ي ISSN فروست

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