nr |
titel |
auteur |
tijdschrift |
jaar |
jaarg. |
afl. |
pagina('s) |
type |
1 |
Bimonoidal Structure of Probability Monads
|
Fritz, Tobias |
|
2018 |
341 |
C |
p. 121-149 |
artikel |
2 |
Borel Kernels and their Approximation, Categorically
|
Dahlqvist, Fredrik |
|
2018 |
341 |
C |
p. 91-119 |
artikel |
3 |
Cartesian Integral Categories and Contextual Integral Categories
|
Cockett, J.R.B. |
|
2018 |
341 |
C |
p. 45-72 |
artikel |
4 |
Continuous Probability Distributions in Concurrent Games
|
Paquet, Hugo |
|
2018 |
341 |
C |
p. 321-344 |
artikel |
5 |
Factorisation Systems for Logical Relations and Monadic Lifting in Type-and-effect System Semantics
|
Kammar, Ohad |
|
2018 |
341 |
C |
p. 239-260 |
artikel |
6 |
Finiteness Spaces and Generalized Power Series
|
Blute, Richard |
|
2018 |
341 |
C |
p. 5-22 |
artikel |
7 |
Higher Dimensional Categories: Induction on Extensivity
|
Cottrell, Thomas |
|
2018 |
341 |
C |
p. 73-90 |
artikel |
8 |
Initial Algebras and Final Coalgebras Consisting of Nondeterministic Finite Trace Strategies
|
Bowler, Nathan |
|
2018 |
341 |
C |
p. 23-44 |
artikel |
9 |
Isotropy of Algebraic Theories
|
Hofstra, Pieter |
|
2018 |
341 |
C |
p. 201-217 |
artikel |
10 |
Iterated Covariant Powerset is not a Monad
|
Klin, Bartek |
|
2018 |
341 |
C |
p. 261-276 |
artikel |
11 |
Modality via Iterated Enrichment
|
Nishiwaki, Yuichi |
|
2018 |
341 |
C |
p. 297-320 |
artikel |
12 |
Morphisms of Open Games
|
Hedges, Jules |
|
2018 |
341 |
C |
p. 151-177 |
artikel |
13 |
Near Distributive Laws
|
Manes, Ernie |
|
2018 |
341 |
C |
p. 277-295 |
artikel |
14 |
Partial Traces on Additive Categories
|
Hoshino, Naohiko |
|
2018 |
341 |
C |
p. 219-237 |
artikel |
15 |
Preface
|
Staton, Sam |
|
2018 |
341 |
C |
p. 1-3 |
artikel |
16 |
Reversible Effects as Inverse Arrows
|
Heunen, Chris |
|
2018 |
341 |
C |
p. 179-199 |
artikel |
17 |
The Sequent Calculus of Skew Monoidal Categories
|
Uustalu, Tarmo |
|
2018 |
341 |
C |
p. 345-370 |
artikel |