|
Tijdschrift beschrijving
Alle jaargangen van het bijbehorende tijdschrift
Alle afleveringen van het bijbehorende jaargang
Alle artikelen van de bijbehorende aflevering
17 gevonden resultaten
| nr | titel | auteur | tijdschrift | jaar | jaarg. | afl. | pagina('s) | type |
| 1 | A Calculus of Terms for Coalgebras of Polynomial Functors |
Goldblatt, Robert |
2001 |
44 | 1 |
p. 161-184 24 p. |
artikel |
|
| 2 | A Coalgebraic View of Infinite Trees and Iteration |
Aczel, Peter |
2001 |
44 | 1 |
p. 1-26 26 p. |
artikel |
|
| 3 | Algebras, Coalgebras, Monads and Comonads |
Ghani, Neil |
2001 |
44 | 1 |
p. 128-145 18 p. |
artikel |
|
| 4 | Bialgebraic Semantics and Recursion |
Plotkin, Gordon |
2001 |
44 | 1 |
p. 285-288 4 p. |
artikel |
|
| 5 | Deforestation, program transformation, and cut-elimination |
Cockett, Robin |
2001 |
44 | 1 |
p. 88-127 40 p. |
artikel |
|
| 6 | From Algebras and Coalgebras to Dialgebras |
Poll, Erik |
2001 |
44 | 1 |
p. 289-307 19 p. |
artikel |
|
| 7 | From Varieties of Algebras to Covarieties of Coalgebras |
Adámek, Jiří |
2001 |
44 | 1 |
p. 27-46 20 p. |
artikel |
|
| 8 | Generalised Coinduction |
Bartels, F. |
2001 |
44 | 1 |
p. 67-87 21 p. |
artikel |
|
| 9 | Invariants of monadic coalgebras |
Mašulović, Dragan |
2001 |
44 | 1 |
p. 254-270 17 p. |
artikel |
|
| 10 | Modal Languages for Coalgebras in a Topological Setting |
Pattinson, Dirk |
2001 |
44 | 1 |
p. 271-284 14 p. |
artikel |
|
| 11 | Modal Operators for Coequations |
Hughes, Jesse |
2001 |
44 | 1 |
p. 205-226 22 p. |
artikel |
|
| 12 | Modal Rules are Co-Implications |
Kurz, Alexander |
2001 |
44 | 1 |
p. 241-253 13 p. |
artikel |
|
| 13 | Monoid-labeled transition systems |
Gumm, H. Peter |
2001 |
44 | 1 |
p. 185-204 20 p. |
artikel |
|
| 14 | Preface |
Corradini, Andrea |
2001 |
44 | 1 |
p. 308-309 2 p. |
artikel |
|
| 15 | Process Calculi à la Bird-Meertens |
Barbosa, Luís S. |
2001 |
44 | 1 |
p. 47-66 20 p. |
artikel |
|
| 16 | Two-dimensional linear algebra |
Hyland, Martin |
2001 |
44 | 1 |
p. 227-240 14 p. |
artikel |
|
| 17 | When is a function a fold or an unfold? |
Gibbons, Jeremy |
2001 |
44 | 1 |
p. 146-160 15 p. |
artikel |
17 gevonden resultaten