| nr |
titel |
auteur |
tijdschrift |
jaar |
jaarg. |
afl. |
pagina('s) |
type |
| 1 |
Abstract Interpretation From a Denotational-semantics Perspective
|
Schmidt, David A.
|
|
2009
|
249 |
C |
p. 19-37
19 p.
|
artikel
|
| 2 |
A Context-based Approach to Proving Termination of Evaluation
|
Biernacka, Małgorzata
|
|
2009
|
249 |
C |
p. 169-192
24 p.
|
artikel
|
| 3 |
An Algebraic Account of References in Game Semantics
|
Melliès, Paul-André
|
|
2009
|
249 |
C |
p. 377-405
29 p.
|
artikel
|
| 4 |
Another Look at Function Domains
|
Bove, Ana
|
|
2009
|
249 |
C |
p. 61-74
14 p.
|
artikel
|
| 5 |
Categories of Timed Stochastic Relations
|
Brown, Daniel
|
|
2009
|
249 |
C |
p. 193-217
25 p.
|
artikel
|
| 6 |
Continuous Functions on Final Coalgebras
|
Ghani, Neil
|
|
2009
|
249 |
C |
p. 3-18
16 p.
|
artikel
|
| 7 |
Contraction-free Proofs and Finitary Games for Linear Logic
|
Hirschowitz, André
|
|
2009
|
249 |
C |
p. 287-305
19 p.
|
artikel
|
| 8 |
Elgot Theories: A New Perspective of Iteration Theories (Extended Abstract)
|
Adámek, Jiří
|
|
2009
|
249 |
C |
p. 407-427
21 p.
|
artikel
|
| 9 |
Equational Coalgebraic Logic
|
Kurz, Alexander
|
|
2009
|
249 |
C |
p. 333-356
24 p.
|
artikel
|
| 10 |
Exploratory Functions on Nondeterministic Strategies, up to Lower Bisimilarity
|
Levy, Paul Blain
|
|
2009
|
249 |
C |
p. 357-375
19 p.
|
artikel
|
| 11 |
Extending Algebraic Operations to D-Completions
|
Keimel, Klaus
|
|
2009
|
249 |
C |
p. 93-116
24 p.
|
artikel
|
| 12 |
Game Semantics for Access Control
|
Abramsky, Samson
|
|
2009
|
249 |
C |
p. 135-156
22 p.
|
artikel
|
| 13 |
Logical Semantics for Stability
|
Paolini, Luca
|
|
2009
|
249 |
C |
p. 429-449
21 p.
|
artikel
|
| 14 |
Monoidal Indeterminates and Categories of Possible Worlds
|
Hermida, C.
|
|
2009
|
249 |
C |
p. 39-60
22 p.
|
artikel
|
| 15 |
On the Failure of Fixed-Point Theorems for Chain-complete Lattices in the Effective Topos
|
Bauer, Andrej
|
|
2009
|
249 |
C |
p. 157-167
11 p.
|
artikel
|
| 16 |
On the Relative Expressive Power of Calculi for Mobility
|
Gorla, Daniele
|
|
2009
|
249 |
C |
p. 269-286
18 p.
|
artikel
|
| 17 |
On the Unification of Process Semantics: Equational Semantics
|
de Frutos Escrig, David
|
|
2009
|
249 |
C |
p. 243-267
25 p.
|
artikel
|
| 18 |
Positive Logic with Adjoint Modalities: Proof Theory, Semantics and Reasoning about Information
|
Sadrzadeh, Mehrnoosh
|
|
2009
|
249 |
C |
p. 451-470
20 p.
|
artikel
|
| 19 |
Preface
|
Abramsky, Samson
|
|
2009
|
249 |
C |
p. 1-2
2 p.
|
artikel
|
| 20 |
Quantitative Notions of Leakage for One-try Attacks
|
Braun, Christelle
|
|
2009
|
249 |
C |
p. 75-91
17 p.
|
artikel
|
| 21 |
Semi-decidability of May, Must and Probabilistic Testing in a Higher-type Setting
|
Escardó, Martín
|
|
2009
|
249 |
C |
p. 219-242
24 p.
|
artikel
|
| 22 |
Some Programming Languages Suggested by Game Models (Extended Abstract)
|
Longley, John
|
|
2009
|
249 |
C |
p. 117-134
18 p.
|
artikel
|
| 23 |
Twisted Graph States for Ancilla-driven Universal Quantum Computation
|
Kashefi, E.
|
|
2009
|
249 |
C |
p. 307-331
25 p.
|
artikel
|
| 24 |
Two Cotensors in One: Presentations of Algebraic Theories for Local State and Fresh Names
|
Staton, Sam
|
|
2009
|
249 |
C |
p. 471-490
20 p.
|
artikel
|
Tijdschrift beschrijving