Abstract is missing.
- PrefaceBarbara König 0001. 1-3 [doi]
- Bisimulation Maps in Presheaf CategoriesHarsh Beohar, Sebastian Küpper. 5-24 [doi]
- Diacritical CompanionsDariusz Biernacki, Sergueï Lenglet, Piotr Polesiuk. 25-43 [doi]
- Bisimulation for Feller-Dynkin ProcessesLinan Chen, Florence Clerc, Prakash Panangaden. 45-63 [doi]
- Taylor Expansion, Finiteness and StrategiesJules Chouquet. 65-85 [doi]
- The Effects of Effects on ConstructivismLiron Cohen 0001, Sofia Abreu Faro, Ross Tate. 87-120 [doi]
- On Bisimilarity in Lambda Calculi with Continuous Probabilistic ChoiceUgo Dal Lago, Francesco Gavazzo. 121-141 [doi]
- Learning along a Channel: the Expectation part of Expectation-MaximisationBart Jacobs 0001. 143-160 [doi]
- Neural Nets via Forward State Transformation and Backward Loss TransformationBart Jacobs 0001, David Sprunger. 161-177 [doi]
- Condition/Decision Duality and the Internal Logic of Extensive Restriction CategoriesRobin Kaarsgaard. 179-202 [doi]
- From Global to Local State, Coalgebraically and CompositionallyJim Laird. 203-222 [doi]
- Towards a Directed Homotopy Type TheoryPaige Randall North. 223-239 [doi]
- Deriving Logical Relations from Interpretations of Predicate LogicClaudio Hermida, Uday S. Reddy, Edmund P. Robinson. 241-259 [doi]
- The Construction of Set-Truncated Higher Inductive TypesNiels van der Weide, Herman Geuvers. 261-280 [doi]
- Quantitative Logics for Equivalence of Effectful ProgramsNiels Voorneveld. 281-301 [doi]
- A Denotational Semantics for Low-Level Probabilistic Programs with NondeterminismDi Wang, Jan Hoffmann 0002, Thomas W. Reps. 303-324 [doi]