LIPIcs, Volume 260, FSCD 2023

• Marco Gaboardi and Femke van Raamsdonk LIPIcs, Volume 260, FSCD 2023, Complete Volume 10.4230/LIPIcs.FSCD.2023
• Marco Gaboardi and Femke van Raamsdonk Front Matter, Table of Contents, Preface, Conference Organization 10.4230/LIPIcs.FSCD.2023.0
• Maribel Fernández Nominal Techniques for Software Specification and Verification (Invited Talk) 10.4230/LIPIcs.FSCD.2023.1
• Mateja Jamnik How Can We Make Trustworthy AI? (Invited Talk) 10.4230/LIPIcs.FSCD.2023.2
• Giulio Manzonetto A Lambda Calculus Satellite (Invited Talk) 10.4230/LIPIcs.FSCD.2023.3
• Akihisa Yamada Termination of Term Rewriting: Foundation, Formalization, Implementation, and Competition (Invited Talk) 10.4230/LIPIcs.FSCD.2023.4
• Taichi Uemura Homotopy Type Theory as Internal Languages of Diagrams of ∞-Logoses 10.4230/LIPIcs.FSCD.2023.5
• Niels van der Weide The Formal Theory of Monads, Univalently 10.4230/LIPIcs.FSCD.2023.6
• Théo Losekoot, Thomas Genet, and Thomas Jensen Automata-Based Verification of Relational Properties of Functions over Algebraic Data Structures 10.4230/LIPIcs.FSCD.2023.7
• Thomas Ehrhard, Claudia Faggian, and Michele Pagani The Sum-Product Algorithm For Quantitative Multiplicative Linear Logic 10.4230/LIPIcs.FSCD.2023.8
• Ievgen Ivanov Generalized Newman’s Lemma for Discrete and Continuous Systems 10.4230/LIPIcs.FSCD.2023.9
• Nikolai Kudasov E-Unification for Second-Order Abstract Syntax 10.4230/LIPIcs.FSCD.2023.10
• Pablo Barenbaum and Cristian Sottile Two Decreasing Measures for Simply Typed λ-Terms 10.4230/LIPIcs.FSCD.2023.11
• Nao Hirokawa and Aart Middeldorp Hydra Battles and AC Termination 10.4230/LIPIcs.FSCD.2023.12
• Lison Blondeau-Patissier, Pierre Clairambault, and Lionel Vaux Auclair Strategies as Resource Terms, and Their Categorical Semantics 10.4230/LIPIcs.FSCD.2023.13
• Dan R. Ghica and George Kaye Rewriting Modulo Traced Comonoid Structure 10.4230/LIPIcs.FSCD.2023.14
• Cynthia Kop and Deivid Vale Cost-Size Semantics for Call-By-Value Higher-Order Rewriting 10.4230/LIPIcs.FSCD.2023.15
• Samuel Mimram Categorical Coherence from Term Rewriting Systems 10.4230/LIPIcs.FSCD.2023.16
• Nicolas Behr, Paul-André Melliès, and Noam Zeilberger Convolution Products on Double Categories and Categorification of Rule Algebras 10.4230/LIPIcs.FSCD.2023.17
• Rafaël Bocquet, Ambrus Kaposi, and Christian Sattler For the Metatheory of Type Theory, Internal Sconing Is Enough 10.4230/LIPIcs.FSCD.2023.18
• José Espírito Santo and Filipa Mendes The Logical Essence of Compiling with Continuations 10.4230/LIPIcs.FSCD.2023.19
• Ugo Dal Lago, Naohiko Hoshino, and Paolo Pistone On the Lattice of Program Metrics 10.4230/LIPIcs.FSCD.2023.20
• Flavien Breuvart, Marie Kerjean, and Simon Mirwasser Unifying Graded Linear Logic and Differential Operators 10.4230/LIPIcs.FSCD.2023.21
• Samuel Frontull, Georg Moser, and Vincent van Oostrom α-Avoidance 10.4230/LIPIcs.FSCD.2023.22
• Serenella Cerrito, Valentin Goranko, and Sophie Paillocher Partial Model Checking and Partial Model Synthesis in LTL Using a Tableau-Based Approach 10.4230/LIPIcs.FSCD.2023.23
• Thorsten Altenkirch, Ambrus Kaposi, Artjoms Šinkarovs, and Tamás Végh Combinatory Logic and Lambda Calculus Are Equal, Algebraically 10.4230/LIPIcs.FSCD.2023.24
• Francesco Dagnino and Fabio Pasquali Quotients and Extensionality in Relational Doctrines 10.4230/LIPIcs.FSCD.2023.25
• Rémi Di Guardia and Olivier Laurent Type Isomorphisms for Multiplicative-Additive Linear Logic 10.4230/LIPIcs.FSCD.2023.26
• Anupam Das and Lukas Melgaard Cyclic Proofs for Arithmetical Inductive Definitions 10.4230/LIPIcs.FSCD.2023.27
• Emmanuel Beffara, Félix Castro, Mauricio Guillermo, and Étienne Miquey Concurrent Realizability on Conjunctive Structures 10.4230/LIPIcs.FSCD.2023.28
• Daniele Pautasso and Simona Ronchi Della Rocca A Quantitative Version of Simple Types 10.4230/LIPIcs.FSCD.2023.29
• Saraid Dwyer Satterfield, Serdar Erbatur, Andrew M. Marshall, and Christophe Ringeissen Knowledge Problems in Security Protocols: Going Beyond Subterm Convergent Theories 10.4230/LIPIcs.FSCD.2023.30
• Didier Galmiche and Daniel Méry Labelled Tableaux for Linear Time Bunched Implication Logic 10.4230/LIPIcs.FSCD.2023.31
• Valentin Blot Diller-Nahm Bar Recursion 10.4230/LIPIcs.FSCD.2023.32
• James Laird Dinaturality Meets Genericity: A Game Semantics of Bounded Polymorphism 10.4230/LIPIcs.FSCD.2023.33
• Sergey Goncharov Representing Guardedness in Call-By-Value 10.4230/LIPIcs.FSCD.2023.34