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 |