Digitale Bibliotheek
Sluiten Bladeren door artikelen uit een tijdschrift
     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 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
                             17 gevonden resultaten
 
 Koninklijke Bibliotheek - Nationale Bibliotheek van Nederland