| nr |
titel |
auteur |
tijdschrift |
jaar |
jaarg. |
afl. |
pagina('s) |
type |
| 1 |
A Categorical Characterization of Relative Entropy on Standard Borel Spaces
|
Gagné, Nicolas
|
|
2018
|
336 |
C |
p. 135-153
|
artikel
|
| 2 |
A Categorical Foundation for Structured Reversible Flowchart Languages
|
Glück, Robert
|
|
2018
|
336 |
C |
p. 155-171
|
artikel
|
| 3 |
A Denotational Semantics for SPARC TSO
|
Kavanagh, Ryan
|
|
2018
|
336 |
C |
p. 223-239
|
artikel
|
| 4 |
A Game Semantics of Concurrent Separation Logic
|
Melliès, Paul-André
|
|
2018
|
336 |
C |
p. 241-256
|
artikel
|
| 5 |
A Note on Distances between Probabilistic and Quantum distributions
|
Jacobs, Bart
|
|
2018
|
336 |
C |
p. 173-187
|
artikel
|
| 6 |
A Stone-type Duality Theorem for Separation Logic Via its Underlying Bunched Logics
|
Docherty, Simon
|
|
2018
|
336 |
C |
p. 101-118
|
artikel
|
| 7 |
A Symbolic Decision Procedure for Symbolic Alternating Finite Automata
|
D'Antoni, Loris
|
|
2018
|
336 |
C |
p. 79-99
|
artikel
|
| 8 |
Category-theoretic Structure for Independence and Conditional Independence
|
Simpson, Alex
|
|
2018
|
336 |
C |
p. 281-297
|
artikel
|
| 9 |
Classical Control and Quantum Circuits in Enriched Category Theory
|
Rennela, Mathys
|
|
2018
|
336 |
C |
p. 257-279
|
artikel
|
| 10 |
Complete Axiomatization for the Total Variation Distance of Markov Chains
|
Bacci, Giorgio
|
|
2018
|
336 |
C |
p. 27-39
|
artikel
|
| 11 |
Finitary Higher Inductive Types in the Groupoid Model
|
Dybjer, Peter
|
|
2018
|
336 |
C |
p. 119-134
|
artikel
|
| 12 |
From Reversible Programs to Univalent Universes and Back
|
Carette, Jacques
|
|
2018
|
336 |
C |
p. 5-25
|
artikel
|
| 13 |
Non-deterministic Effects in a Realizability Model
|
Voorneveld, Niels F.W.
|
|
2018
|
336 |
C |
p. 299-314
|
artikel
|
| 14 |
On Dialogue Games and Graph Games
|
Jacq, Clément
|
|
2018
|
336 |
C |
p. 189-206
|
artikel
|
| 15 |
On Models of Higher-Order Separation Logic
|
Bizjak, Aleš
|
|
2018
|
336 |
C |
p. 57-78
|
artikel
|
| 16 |
Preface
|
Silva, Alexandra
|
|
2018
|
336 |
C |
p. 1-3
|
artikel
|
| 17 |
Proving Soundness of Extensional Normal-Form Bisimilarities
|
Biernacki, Dariusz
|
|
2018
|
336 |
C |
p. 41-56
|
artikel
|
| 18 |
Self-Quotation in a Typed, Intensional Lambda-Calculus
|
Jay, Barry
|
|
2018
|
336 |
C |
p. 207-222
|
artikel
|
Tijdschrift beschrijving