| nr |
titel |
auteur |
tijdschrift |
jaar |
jaarg. |
afl. |
pagina('s) |
type |
| 1 |
A Denotational Semantics for Low-Level Probabilistic Programs with Nondeterminism
|
Wang, Di
|
|
|
347 |
C |
p. 303-324
|
artikel
|
| 2 |
Bisimulation for Feller-Dynkin Processes
|
Chen, Linan
|
|
|
347 |
C |
p. 45-63
|
artikel
|
| 3 |
Bisimulation Maps in Presheaf Categories
|
Beohar, Harsh
|
|
|
347 |
C |
p. 5-24
|
artikel
|
| 4 |
Condition/Decision Duality and the Internal Logic of Extensive Restriction Categories
|
Kaarsgaard, Robin
|
|
|
347 |
C |
p. 179-202
|
artikel
|
| 5 |
Deriving Logical Relations from Interpretations of Predicate Logic
|
Hermida, Claudio
|
|
|
347 |
C |
p. 241-259
|
artikel
|
| 6 |
Diacritical Companions
|
Biernacki, Dariusz
|
|
|
347 |
C |
p. 25-43
|
artikel
|
| 7 |
From Global to Local State, Coalgebraically and Compositionally
|
Laird, Jim
|
|
|
347 |
C |
p. 203-222
|
artikel
|
| 8 |
Learning along a Channel: the Expectation part of Expectation-Maximisation
|
Jacobs, Bart
|
|
|
347 |
C |
p. 143-160
|
artikel
|
| 9 |
Neural Nets via Forward State Transformation and Backward Loss Transformation
|
Jacobs, Bart
|
|
|
347 |
C |
p. 161-177
|
artikel
|
| 10 |
On Bisimilarity in Lambda Calculi with Continuous Probabilistic Choice
|
Lago, Ugo Dal
|
|
|
347 |
C |
p. 121-141
|
artikel
|
| 11 |
Preface
|
König, Barbara
|
|
|
347 |
C |
p. 1-3
|
artikel
|
| 12 |
Quantitative Logics for Equivalence of Effectful Programs
|
Voorneveld, Niels
|
|
|
347 |
C |
p. 281-301
|
artikel
|
| 13 |
Taylor Expansion, Finiteness and Strategies
|
Chouquet, Jules
|
|
|
347 |
C |
p. 65-85
|
artikel
|
| 14 |
The Construction of Set-Truncated Higher Inductive Types
|
van der Weide, Niels
|
|
|
347 |
C |
p. 261-280
|
artikel
|
| 15 |
The Effects of Effects on Constructivism
|
Cohen, Liron
|
|
|
347 |
C |
p. 87-120
|
artikel
|
| 16 |
Towards a Directed Homotopy Type Theory
|
North, Paige Randall
|
|
|
347 |
C |
p. 223-239
|
artikel
|
Tijdschrift beschrijving