FSCD 2025 Accepted Papers
Ievgen Ivanov. Completeness of the decreasing diagrams method for proving confluence of rewriting systems of the least uncountable cardinality
Andrej Dudenhefner. Mechanized Undecidability of Higher-order beta-Matching
Marie Kerjean, Valentin Maestracci and Morgan Rogers. Functorial Models of Differential Linear Logic Sergei Stepanenko and Amin Timany. Solving Guarded Domain Equations in Presheaves Over Ordinals and Mechanizing It Alexis Saurin. Interpolation as Cut-Introduction: On the Computational Content of Craig-Lyndon Interpolation Bapstiste Chanus, Damiano Mazza and Morgan Rogers. Unifying Algebraic and Boolean Descriptive Complexity C. B. Aberlé, Chris Martens and Frank Pfenning. Substructural Parametricity
Ugo Dal Lago, Naohiko Hoshino and Paolo Pistone. On the Metric Nature of (Differential) Logical Relations