Volume 44; Issue 1

2

From Varieties of Algebras to Covarieties of Coalgebras

Year:
2001
Language:
english
File:
PDF, 244 KB
english, 2001
3

Process Calculi à la Bird-Meertens

Year:
2001
Language:
english
File:
PDF, 239 KB
english, 2001
4

Generalised Coinduction

Year:
2001
Language:
english
File:
PDF, 237 KB
english, 2001
6

When is a function a fold or an unfold?

Year:
2001
Language:
english
File:
PDF, 163 KB
english, 2001
7

Monoid-labeled transition systems

Year:
2001
Language:
english
File:
PDF, 220 KB
english, 2001
8

Modal Operators for Coequations

Year:
2001
Language:
english
File:
PDF, 231 KB
english, 2001
9

Modal Rules are Co-Implications

Year:
2001
Language:
english
File:
PDF, 186 KB
english, 2001
10

Invariants of monadic coalgebras

Year:
2001
Language:
english
File:
PDF, 210 KB
english, 2001
11

Bialgebraic Semantics and Recursion: (Extended Abstract)

Year:
2001
Language:
english
File:
PDF, 85 KB
english, 2001
12

From Algebras and Coalgebras to Dialgebras

Year:
2001
Language:
english
File:
PDF, 208 KB
english, 2001
13

Preface: Volume 44, Issue 1

Year:
2001
Language:
english
File:
PDF, 47 KB
english, 2001
14

Deforestation, program transformation, and cut-elimination

Year:
2001
Language:
english
File:
PDF, 297 KB
english, 2001
15

A Calculus of Terms for Coalgebras of Polynomial Functors

Year:
2001
Language:
english
File:
PDF, 257 KB
english, 2001
16

Two-dimensional linear algebra

Year:
2001
Language:
english
File:
PDF, 150 KB
english, 2001
17

Modal Languages for Coalgebras in a Topological Setting

Year:
2001
Language:
english
File:
PDF, 184 KB
english, 2001