Category Theory and Computer Science - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

18

(FIVE YEARS 0)

H-INDEX

8

(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783540634553, 9783540695523

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Shedding new light in the world of logical systems

Category Theory and Computer Science - Lecture Notes in Computer Science ◽

10.1007/bfb0026987 ◽

1997 ◽

pp. 159-176 ◽

Author(s):

Uwe Wolter ◽

Alfio Martini

Keyword(s):

Download Full-text

Proof principles for datatypes with iterated recursion

Category Theory and Computer Science - Lecture Notes in Computer Science ◽

10.1007/bfb0026991 ◽

1997 ◽

pp. 220-241 ◽

Author(s):

Ulrich Hensel ◽

Bart Jacobs

Download Full-text

Lifting

Category Theory and Computer Science - Lecture Notes in Computer Science ◽

10.1007/bfb0026994 ◽

1997 ◽

pp. 281-292 ◽

Author(s):

Anna Bucalo ◽

Giuseppe Rosolini

Download Full-text

A calculus for collections and aggregates

Category Theory and Computer Science - Lecture Notes in Computer Science ◽

10.1007/bfb0026993 ◽

1997 ◽

pp. 261-280 ◽

Author(s):

Kazem Lellahi ◽

Val Tannen

Download Full-text

General synthetic domain theory — A logical approach (extended abstract)

Category Theory and Computer Science - Lecture Notes in Computer Science ◽

10.1007/bfb0026995 ◽

1997 ◽

pp. 293-313 ◽

Author(s):

B. Reus ◽

Th. Streicher

Keyword(s):

Domain Theory ◽

Logical Approach

Download Full-text

Monads and modular term rewriting

Category Theory and Computer Science - Lecture Notes in Computer Science ◽

10.1007/bfb0026982 ◽

1997 ◽

pp. 69-86 ◽

Author(s):

Christoph Lüth ◽

Neil Ghani

Keyword(s):

Download Full-text

Effectiveness of the global modulus of continuity on metric spaces

Category Theory and Computer Science - Lecture Notes in Computer Science ◽

10.1007/bfb0026990 ◽

1997 ◽

pp. 210-219 ◽

Author(s):

Klaus Weihrauch ◽

Xizhong Zheng

Keyword(s):

Modulus Of Continuity ◽

Download Full-text

An introduction to n-categories

Category Theory and Computer Science - Lecture Notes in Computer Science ◽

10.1007/bfb0026978 ◽

1997 ◽

pp. 1-33 ◽

Author(s):

John C. Baez

Download Full-text

A factorisation theorem in rewriting theory

Category Theory and Computer Science - Lecture Notes in Computer Science ◽

10.1007/bfb0026981 ◽

1997 ◽

pp. 49-68 ◽

Author(s):

Paul-André Melliès

Download Full-text

When Do Datatypes Commute?

Category Theory and Computer Science - Lecture Notes in Computer Science ◽

10.1007/bfb0026992 ◽

1997 ◽

pp. 242-260 ◽

Author(s):

Paul Hoogendijk ◽

Roland Backhouse

Download Full-text