LIPIcs, Volume 228, FSCD 2022

• Amy P. Felty LIPIcs, Volume 228, FSCD 2022, Complete Volume 10.4230/LIPIcs.FSCD.2022
• Amy P. Felty Front Matter, Table of Contents, Preface, Conference Organization 10.4230/LIPIcs.FSCD.2022.0
• Cynthia Kop Cutting a Proof into Bite-Sized Chunks: Incrementally proving termination in higher-order term rewriting (Invited Talk) 10.4230/LIPIcs.FSCD.2022.1
• Alwen Tiu A Methodology for Designing Proof Search Calculi for Non-Classical Logics (Invited Talk) 10.4230/LIPIcs.FSCD.2022.2
• Francesco Dagnino and Francesco Gavazzo A Fibrational Tale of Operational Logical Relations 10.4230/LIPIcs.FSCD.2022.3
• Ugo Dal Lago, Furio Honsell, Marina Lenisa, and Paolo Pistone On Quantitative Algebraic Higher-Order Theories 10.4230/LIPIcs.FSCD.2022.4
• Jonathan Sterling and Robert Harper Sheaf Semantics of Termination-Insensitive Noninterference 10.4230/LIPIcs.FSCD.2022.5
• Serdar Erbatur, Andrew M. Marshall, and Christophe Ringeissen Combined Hierarchical Matching: the Regular Case 10.4230/LIPIcs.FSCD.2022.6
• Manfred Schmidt-Schauß and Daniele Nantes-Sobrinho Nominal Anti-Unification with Atom-Variables 10.4230/LIPIcs.FSCD.2022.7
• Mauricio Ayala-Rincón, Maribel Fernández, Gabriel Ferreira Silva, and Daniele Nantes Sobrinho A Certified Algorithm for AC-Unification 10.4230/LIPIcs.FSCD.2022.8
• Marc Hermes and Dominik Kirst An Analysis of Tennenbaum’s Theorem in Constructive Type Theory 10.4230/LIPIcs.FSCD.2022.9
• Liron Cohen and Vincent Rahli Constructing Unprejudiced Extensional Type Theories with Choices via Modalities 10.4230/LIPIcs.FSCD.2022.10
• Samuel Mimram and Émile Oleon Division by Two, in Homotopy Type Theory 10.4230/LIPIcs.FSCD.2022.11
• Siva Somayyajula and Frank Pfenning Type-Based Termination for Futures 10.4230/LIPIcs.FSCD.2022.12
• Emmanuel Jeandel, Simon Perdrix, and Margarita Veshchezerova Addition and Differentiation of ZX-Diagrams 10.4230/LIPIcs.FSCD.2022.13
• Jan Bessai, Lukasz Czajka, Felix Laarmann, and Jakob Rehof Restricting Tree Grammars with Term Rewriting 10.4230/LIPIcs.FSCD.2022.14
• Nariyoshi Chida and Tachio Terauchi On Lookaheads in Regular Expressions with Backreferences 10.4230/LIPIcs.FSCD.2022.15
• Andrej Dudenhefner Certified Decision Procedures for Two-Counter Machines 10.4230/LIPIcs.FSCD.2022.16
• Claudia Faggian and Giulio Guerrieri Strategies for Asymptotic Normalization 10.4230/LIPIcs.FSCD.2022.17
• Delia Kesner and Loïc Peyrot Solvability for Generalized Applications 10.4230/LIPIcs.FSCD.2022.18
• Willem B. Heijltjes, Dominic J. D. Hughes, and Lutz Straßburger Normalization Without Syntax 10.4230/LIPIcs.FSCD.2022.19
• Anupam Das, Abhishek De, and Alexis Saurin Decision Problems for Linear Logic with Least and Greatest Fixed Points 10.4230/LIPIcs.FSCD.2022.20
• Alejandro Díaz-Caro and Gilles Dowek Linear Lambda-Calculus is Linear 10.4230/LIPIcs.FSCD.2022.21
• Matteo Acclavio, Ross Horne, Sjouke Mauw, and Lutz Straßburger A Graphical Proof Theory of Logical Time 10.4230/LIPIcs.FSCD.2022.22
• Daniel Gratzer and Lars Birkedal A Stratified Approach to Löb Induction 10.4230/LIPIcs.FSCD.2022.23
• Frédéric Blanqui Encoding Type Universes Without Using Matching Modulo Associativity and Commutativity 10.4230/LIPIcs.FSCD.2022.24
• Thiago Felicissimo Adequate and Computational Encodings in the Logical Framework Dedukti 10.4230/LIPIcs.FSCD.2022.25
• Clément Aubert, Thomas Rubiano, Neea Rusch, and Thomas Seiller mwp-Analysis Improvement and Implementation: Realizing Implicit Computational Complexity 10.4230/LIPIcs.FSCD.2022.26
• Fabian Mitterwallner and Aart Middeldorp Polynomial Termination Over ℕ Is Undecidable 10.4230/LIPIcs.FSCD.2022.27
• Kiraku Shintani and Nao Hirokawa Compositional Confluence Criteria 10.4230/LIPIcs.FSCD.2022.28
• Mario Alvarez-Picallo, Dan Ghica, David Sprunger, and Fabio Zanasi Rewriting for Monoidal Closed Categories 10.4230/LIPIcs.FSCD.2022.29
• Sergey Goncharov, Stefan Milius, Lutz Schröder, Stelios Tsampas, and Henning Urbat Stateful Structural Operational Semantics 10.4230/LIPIcs.FSCD.2022.30
• Marcelo Fiore, Zeinab Galal, and Hugo Paquet A Combinatorial Approach to Higher-Order Structure for Polynomial Functors 10.4230/LIPIcs.FSCD.2022.31
• Dylan McDermott and Alan Mycroft Galois Connecting Call-by-Value and Call-by-Name 10.4230/LIPIcs.FSCD.2022.32