Abstract is missing.
- Polarized Substructural Session TypesFrank Pfenning, Dennis Griffith. 3-22 [doi]
- Synthesis of Strategies and the Hoare Logic of Angelic NondeterminismKonstantinos Mamouras. 25-40 [doi]
- An Infinitary Model of Linear LogicCharles Grellois, Paul-André Melliès. 41-55 [doi]
- Game Semantics and Normalization by EvaluationPierre Clairambault, Peter Dybjer. 56-70 [doi]
- Foundations of Differential DataflowMartín Abadi, Frank McSherry, Gordon D. Plotkin. 71-83 [doi]
- States of Convex SetsBart Jacobs, Bas Westerbaan, Bram Westerbaan. 87-101 [doi]
- A Categorical Semantics for Linear Logical FrameworksMatthijs Vákár. 102-116 [doi]
- A Completeness Result for Finite λ-bisimulationsJoost Winter. 117-132 [doi]
- Sequent Calculus in the Topos of TreesRanald Clouston, Rajeev Goré. 133-147 [doi]
- Coalgebraic Trace Semantics via Forgetful LogicsBartek Klin, Jurriaan Rot. 151-166 [doi]
- Unifying Hyper and Epistemic Temporal LogicsLaura Bozzelli, Bastien Maubert, Sophie Pinchinat. 167-182 [doi]
- On the Total Variation Distance of Semi-Markov ChainsGiorgio Bacci, Giovanni Bacci, Kim Guldstrand Larsen, Radu Mardare. 185-199 [doi]
- Decidable and Expressive Classes of Probabilistic AutomataRohit Chadha, A. Prasad Sistla, Mahesh Viswanathan 0001, Yue Ben. 200-214 [doi]
- Knowledge = Observation + Memory + ComputationBlaise Genest, Doron Peled, Sven Schewe. 215-229 [doi]
- Compositional Metric Reasoning with Probabilistic Process CalculiDaniel Gebler, Kim Guldstrand Larsen, Simone Tini. 230-245 [doi]
- Fragments of ML Decidable by Nested Data Class Memory AutomataConrad Cotton-Barratt, David Hopkins, Andrzej S. Murawski, C.-H. Luke Ong. 249-263 [doi]
- Operational Nominal Game SemanticsGuilhem Jaber. 264-278 [doi]
- Step-Indexed Logical Relations for ProbabilityAles Bizjak, Lars Birkedal. 279-294 [doi]
- Minimisation of Multiplicity Tree AutomataStefan Kiefer, Ines Marusic, James Worrell. 297-311 [doi]
- Robust Multidimensional Mean-Payoff Games are UndecidableYaron Velner. 312-327 [doi]
- The Cyclic-Routing UAV Problem is PSPACE-CompleteHsi-Ming Ho, Joël Ouaknine. 328-342 [doi]
- Typing Weak MSOL PropertiesSylvain Salvati, Igor Walukiewicz. 343-357 [doi]
- Three Variables Suffice for Real-Time LogicTimos Antonopoulos, Paul Hunter, Shahab Raza, James Worrell. 361-374 [doi]
- On Presburger Arithmetic Extended with Modulo Counting QuantifiersPeter Habermehl, Dietrich Kuske. 375-389 [doi]
- Parity Games of Bounded Tree- and Clique-WidthMoses Ganardi. 390-404 [doi]
- Programming and Reasoning with Guarded Recursion for Coinductive TypesRanald Clouston, Ales Bizjak, Hans Bugge Grathwohl, Lars Birkedal. 407-421 [doi]
- The Computational Contents of Ramified CorecurrenceDaniel Leivant, Ramyaa Ramyaa. 422-435 [doi]
- On the Dependencies of Logical RulesMarc Bagnol, Amina Doumane, Alexis Saurin. 436-450 [doi]
- On the Mints Hierarchy in First-Order Intuitionistic LogicAleksy Schubert, Pawel Urzyczyn, Konrad Zdanowski. 451-465 [doi]