| nr |
titel |
auteur |
tijdschrift |
jaar |
jaarg. |
afl. |
pagina('s) |
type |
| 1 |
A Complete Equational Axiomatisation of Partial Differentiation
|
Plotkin, Gordon D.
|
|
|
352 |
C |
p. 211-232
|
artikel
|
| 2 |
A Pebbling Comonad for Finite Rank and Variable Logic, and an Application to the Equirank-variable Homomorphism Preservation Theorem
|
Paine, Thomas
|
|
|
352 |
C |
p. 191-209
|
artikel
|
| 3 |
Bifibrations of Polycategories and Classical Linear Logic
|
Blanco, Nicolas
|
|
|
352 |
C |
p. 29-52
|
artikel
|
| 4 |
Combining Algebraic Effect Descriptions Using the Tensor of Complete Lattices
|
Voorneveld, Niels
|
|
|
352 |
C |
p. 257-281
|
artikel
|
| 5 |
Continuous Monads
|
Manes, Ernie
|
|
|
352 |
C |
p. 173-190
|
artikel
|
| 6 |
Domain Theoretic Second-Order Euler's Method for Solving Initial Value Problems
|
Edalat, Abbas
|
|
|
352 |
C |
p. 105-128
|
artikel
|
| 7 |
Eilenberg-Kelly Reloaded
|
Uustalu, Tarmo
|
|
|
352 |
C |
p. 233-256
|
artikel
|
| 8 |
Equational Logic and Categorical Semantics for Multi-Languages
|
Buro, Samuele
|
|
|
352 |
C |
p. 79-103
|
artikel
|
| 9 |
Hennessy-Milner Results for Probabilistic PDL
|
Gu, Tao
|
|
|
352 |
C |
p. 283-304
|
artikel
|
| 10 |
Monads, Partial Evaluations, and Rewriting
|
Fritz, Tobias
|
|
|
352 |
C |
p. 129-148
|
artikel
|
| 11 |
Parametrized Fixed Points and Their Applications to Session Types
|
Kavanagh, Ryan
|
|
|
352 |
C |
p. 149-172
|
artikel
|
| 12 |
Preface
|
Johann, Patricia
|
|
|
352 |
C |
p. 1-3
|
artikel
|
| 13 |
Towards a Classification of Behavioural Equivalences in Continuous-time Markov Processes
|
Chen, Linan
|
|
|
352 |
C |
p. 53-77
|
artikel
|
| 14 |
Weakest Preconditions in Fibrations
|
Aguirre, Alejandro
|
|
|
352 |
C |
p. 5-27
|
artikel
|
Tijdschrift beschrijving