|
Tijdschrift beschrijving
Alle jaargangen van het bijbehorende tijdschrift
Alle afleveringen van het bijbehorende jaargang
Alle artikelen van de bijbehorende aflevering
19 gevonden resultaten
| nr | titel | auteur | tijdschrift | jaar | jaarg. | afl. | pagina('s) | type |
| 1 | A Monad for Randomized Algorithms |
Barker, Tyler |
2016 |
325 | C |
p. 47-62 16 p. |
artikel |
|
| 2 | Approximate Relational Hoare Logic for Continuous Random Samplings |
Sato, Tetsuya |
2016 |
325 | C |
p. 277-298 22 p. |
artikel |
|
| 3 | A Predicate/State Transformer Semantics for Bayesian Learning |
Jacobs, Bart |
2016 |
325 | C |
p. 185-200 16 p. |
artikel |
|
| 4 | Binding Operators for Nominal Sets |
Azevedo de Amorim, Arthur |
2016 |
325 | C |
p. 3-27 25 p. |
artikel |
|
| 5 | Bitopology and Four-valued Logic |
Jakl, Tomáš |
2016 |
325 | C |
p. 201-219 19 p. |
artikel |
|
| 6 | Categorical Models of the Differential λ-Calculus Revisited |
Cockett, J.R.B. |
2016 |
325 | C |
p. 63-83 21 p. |
artikel |
|
| 7 | Classical Realizability in the CPS Target Language |
Frey, Jonas |
2016 |
325 | C |
p. 111-126 16 p. |
artikel |
|
| 8 | Coalgebraic Minimization of Automata by Initiality and Finality |
Rot, Jurriaan |
2016 |
325 | C |
p. 253-276 24 p. |
artikel |
|
| 9 | Complete Elgot Monads and Coalgebraic Resumptions |
Goncharov, Sergey |
2016 |
325 | C |
p. 147-168 22 p. |
artikel |
|
| 10 | Effectuses from Monads |
Jacobs, Bart |
2016 |
325 | C |
p. 169-183 15 p. |
artikel |
|
| 11 | Giry and the Machine |
Dahlqvist, Fredrik |
2016 |
325 | C |
p. 85-110 26 p. |
artikel |
|
| 12 | How to Think of Intersection Types as Cartesian Products |
Statman, Rick |
2016 |
325 | C |
p. 305-312 8 p. |
artikel |
|
| 13 | Iteration and Labelled Iteration |
Geron, Bram |
2016 |
325 | C |
p. 127-146 20 p. |
artikel |
|
| 14 | On the Representation of Semigroups and Other Congruences in the Lambda Calculus |
Statman, Rick |
2016 |
325 | C |
p. 299-304 6 p. |
artikel |
|
| 15 | Preface |
Birkedal, Lars |
2016 |
325 | C |
p. 1-2 2 p. |
artikel |
|
| 16 | Programs as Data Structures in λSF-Calculus |
Jay, Barry |
2016 |
325 | C |
p. 221-236 16 p. |
artikel |
|
| 17 | Reducing Complex CSP Models to Traces via Priority |
Mestel, David |
2016 |
325 | C |
p. 237-252 16 p. |
artikel |
|
| 18 | The Algebra of Partial Equivalence Relations |
Zanasi, Fabio |
2016 |
325 | C |
p. 313-333 21 p. |
artikel |
|
| 19 | The Shuffle Quasimonad and Modules with Differentiation and Integration |
Bagnol, Marc |
2016 |
325 | C |
p. 29-45 17 p. |
artikel |
19 gevonden resultaten