Abstract is missing.
- Sequential Value Passing Yields a Kleene Theorem for ProcessesJos C. M. Baeten, Bas Luttik. 1-16 [doi]
- YACC: Yet Another Church Calculus - A Birthday Present for Herman Inspired by His Supervisor ActivityFranco Barbanera, Mariangiola Dezani-Ciancaglini, Ugo de'Liguoro, Betti Venneri. 17-35 [doi]
- Safe Smooth Paths Between Straight Line ObstaclesYves Bertot. 36-53 [doi]
- Learning Guided Automated Reasoning: A Brief SurveyLasse Blaauwbroek, David M. Cerna, Thibault Gauthier, Jan Jakubuv, Cezary Kaliszyk, Martin Suda 0001, Josef Urban. 54-83 [doi]
- Approximation Fixpoint Theory in Coq - With an Application to Logic ProgrammingBart Bogaerts 0001, Luís Cruz-Filipe. 84-99 [doi]
- Constructing Morphisms for Arithmetic Subsequences of FibonacciWieb Bosma, Henk Don. 100-110 [doi]
- A Variation of Reynolds-Hurkens ParadoxThierry Coquand. 111-117 [doi]
- Between BracketsTonny Hurkens. 118-133 [doi]
- Some Probabilistic Riddles and Some Logical SolutionsBart Jacobs 0001. 134-149 [doi]
- It's All a Game - Apartness and BisimilarityJeroen J. A. Keiren, Tim A. C. Willemse. 150-167 [doi]
- Multisets and DistributionsDexter Kozen, Alexandra Silva 0001. 168-187 [doi]
- Minimal Depth Distinguishing Formulas Without Until for Branching BisimulationJan Martens 0001, Jan Friso Groote. 188-202 [doi]
- Relating Apartness and Branching Bisimulation GamesJurriaan Rot, Sebastian Junges, Harsh Beohar. 203-213 [doi]
- Fixed Point Theorems in Computability TheorySebastiaan A. Terwijn. 214-224 [doi]
- A New Perspective on Conformance Testing Based on ApartnessFrits W. Vaandrager. 225-240 [doi]
- The Interval Domain in Homotopy Type TheoryNiels van der Weide, Dan Frumin. 241-256 [doi]
- Characterizing Morphic SequencesHans Zantema. 257-272 [doi]