|
Tijdschrift beschrijving
Alle jaargangen van het bijbehorende tijdschrift
Alle afleveringen van het bijbehorende jaargang
Alle artikelen van de bijbehorende aflevering
24 gevonden resultaten
| nr | titel | auteur | tijdschrift | jaar | jaarg. | afl. | pagina('s) | type |
| 1 | Alternation-Free Weighted Mu-Calculus: Decidability and Completeness |
Larsen, Kim G. |
2015 |
319 | C |
p. 289-313 25 p. |
artikel |
|
| 2 | A Model of Guarded Recursion With Clock Synchronisation |
Bizjak, Aleš |
2015 |
319 | C |
p. 83-101 19 p. |
artikel |
|
| 3 | A Model of PCF in Guarded Type Theory |
Paviotti, Marco |
2015 |
319 | C |
p. 333-349 17 p. |
artikel |
|
| 4 | An Effect-Theoretic Account of Lebesgue Integration |
Jacobs, Bart |
2015 |
319 | C |
p. 239-253 15 p. |
artikel |
|
| 5 | An Introduction to Algebraic Effects and Handlers. Invited tutorial paper |
Pretnar, Matija |
2015 |
319 | C |
p. 19-35 17 p. |
artikel |
|
| 6 | A Presheaf Model of Parametric Type Theory |
Bernardy, Jean-Philippe |
2015 |
319 | C |
p. 67-82 16 p. |
artikel |
|
| 7 | Bifibrational Functorial Semantics of Parametric Polymorphism |
Ghani, Neil |
2015 |
319 | C |
p. 165-181 17 p. |
artikel |
|
| 8 | Complete Positivity and Natural Representation of Quantum Computations |
Rennela, Mathys |
2015 |
319 | C |
p. 369-385 17 p. |
artikel |
|
| 9 | Conditioning in Probabilistic Programming |
Jansen, Nils |
2015 |
319 | C |
p. 199-216 18 p. |
artikel |
|
| 10 | Dirichlet is Natural |
Danos, Vincent |
2015 |
319 | C |
p. 137-164 28 p. |
artikel |
|
| 11 | Focused Linear Logic and the λ-calculus |
Brock-Nannestad, Taus |
2015 |
319 | C |
p. 103-119 17 p. |
artikel |
|
| 12 | Healthiness Conditions for Predicate Transformers |
Keimel, Klaus |
2015 |
319 | C |
p. 255-270 16 p. |
artikel |
|
| 13 | Open Maps in Concrete Categories and Branching Bisimulation for Prefix Orders |
Beohar, H. |
2015 |
319 | C |
p. 51-66 16 p. |
artikel |
|
| 14 | Preface |
Ghica, Dan |
2015 |
319 | C |
p. 1-2 2 p. |
artikel |
|
| 15 | Representation of Partial Traces |
Bagnol, Marc |
2015 |
319 | C |
p. 37-49 13 p. |
artikel |
|
| 16 | Reversible Monadic Computing |
Heunen, Chris |
2015 |
319 | C |
p. 217-237 21 p. |
artikel |
|
| 17 | Sequential Algorithms for Unbounded Nondeterminism |
Laird, J. |
2015 |
319 | C |
p. 271-287 17 p. |
artikel |
|
| 18 | Sound and Complete Equational Reasoning over Comodels |
Pattinson, Dirk |
2015 |
319 | C |
p. 315-331 17 p. |
artikel |
|
| 19 | Stateful Runners of Effectful Computations |
Uustalu, Tarmo |
2015 |
319 | C |
p. 403-421 19 p. |
artikel |
|
| 20 | Steps in Modular Specifications for Concurrent Modules (Invited Tutorial Paper) |
da Rocha Pinto, Pedro |
2015 |
319 | C |
p. 3-18 16 p. |
artikel |
|
| 21 | The Expressiveness of CSP With Priority |
Roscoe, A.W. |
2015 |
319 | C |
p. 387-401 15 p. |
artikel |
|
| 22 | Towards Compositional Graph Theory |
Chantawibul, Apiwat |
2015 |
319 | C |
p. 121-136 16 p. |
artikel |
|
| 23 | Unguarded Recursion on Coinductive Resumptions |
Goncharov, Sergey |
2015 |
319 | C |
p. 183-198 16 p. |
artikel |
|
| 24 | VPHL: A Verified Partial-Correctness Logic for Probabilistic Programs |
Rand, Robert |
2015 |
319 | C |
p. 351-367 17 p. |
artikel |
24 gevonden resultaten