Abstract is missing.
- The Equational Theory of Relational Kleene Algebra with Graph Loop is PSPACE-CompleteYoshiki Nakamura 0001. [doi]
- Polymorphism Meets DHOLRhea Ranalter, Florian Rabe 0001, Cezary Kaliszyk. [doi]
- Equational Reasoning in Languages with Binders via Permutation Fixed-PointsAli K. Caires-Santos, Maribel Fernández, Murdoch James Gabbay, Daniele Nantes Sobrinho. [doi]
- Groups and Inverse Semigroups in Lambda CalculusAntonio Bucciarelli, Arturo De Faveri, Giulio Manzonetto, Antonino Salibra. [doi]
- Resource-Aware Quantum Programming with General Recursion and Quantum ControlKostia Chardonnet, Emmanuel Hainry, Romain Péchoux, Thomas Vinet. [doi]
- On the Consistency of Naive Set Theories over Substructural and Fuzzy LogicsKazushige Terui. [doi]
- Non-Wellfounded Derivations for Intersection Subtyping with FixpointsOlivier Laurent 0001, Jui-Hsuan Wu. [doi]
- A Complete Finitary Refinement Type System for Scott-Open PropertiesColin Riba, Adam Donadille. [doi]
- Simpler Presentations for Many Fragments of Quantum CircuitsColin Blake. [doi]
- A Bounded Parallel Intersection Type SystemAndrej Dudenhefner, Aleksy Schubert, Jakob Rehof. [doi]
- Ground Stratified Inductive DefinitionsNathan Guermond, Gopalan Nadathur. [doi]
- Sheaves as Oracle Computations (Invited Talk)Danel Ahman, Andrej Bauer. [doi]
- Approximation Theory for Distant Bang CalculusKostia Chardonnet, Jules Chouquet, Axel Kerinec. [doi]
- Constructing (Co)inductive Types via Large SizesBastiaan Laarakker, Daniël Otten, Benno van den Berg. [doi]
- New and Formalized Proofs for Right-Forward Closures and Core Matrix InterpretationsRené Thiemann, Dieter Hofbauer, Ulysse Le Huitouze, Johannes Waldmann. [doi]
- Investigations on Higher-Order Infinitary LogicThomas Traversié, Olivier Hermant, Marc Aiguier. [doi]
- Absolute Convergence and Taylor Expansion in Web Based Models of Linear LogicChristine Tasson, Aymeric Walch. [doi]
- Divide and Check: Logical Relations, No Algorithms AttachedJosselin Poiret, Kenji Maillard, Nicolas Tabareau. [doi]
- Type Theory with ErasureConstantine Theocharis, Edwin C. Brady. [doi]
- Saturation-Guided Inductive Synthesis (Invited Talk)Laura Kovács. [doi]
- Proof Identity and Categorical Models of BVMatteo Acclavio, Lutz Straßburger, Vladimir Zamdzhiev. [doi]
- Stabilized Profunctors and Matrix RepresentationTakeshi Tsukada, Kazuyuki Asada, Kengo Hirata. [doi]
- Denotational Semantics for Stabiliser Quantum ProgramsRobert I. Booth, Cole Comfort. [doi]
- How Term Rewriting Structures Shape the Decidability of Knowledge ProblemsRaja O. P. Damanik, Alwen Tiu. [doi]
- Not Choosing Is Still a Choice: Constructive mathematics without any choiceMartin Baillon, Yannick Forster 0002, Dominik Kirst, Assia Mahboubi, Pierre-Marie Pédrot. [doi]
- Graphical Symplectic AlgebraRobert I. Booth, Titouan Carette, Cole Comfort. [doi]
- Evidence-Tracked Tape Semantics for Probabilistic ComputationLiron Cohen 0001, Tomer Samara. [doi]
- Strong Normalisation for Asynchronous EffectsDanel Ahman, Ilja Sobolev. [doi]
- Front Matter, Table of Contents, Preface, Conference Organization [doi]
- Quantum Bayesian Networks: Compositionality and Typing via Linear LogicRémi Di Guardia, Thomas Ehrhard, Claudia Faggian. [doi]
- Undecidability for Semirings with Fixed PointsAnupam Das 0002, Abhishek De 0001, Stepan L. Kuznetsov. [doi]
- Universal Properties of Petri Net UnfoldingsSerge Lechenne, Hugo Paquet. [doi]
- Abstract Framework for All-Path Reachability Analysis toward Safety and Liveness VerificationMisaki Kojima, Naoki Nishida 0001. [doi]
- Treating Congruences as Equalities Within ProofsDale Miller 0001. [doi]
- Relational Dualities and BisimulationPiotr Kozicki, G. A. Kavvos. [doi]