FSCD

Keyphrases

Publications

2023

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

volume 260, 2023

8th International Conference on Formal Structures for Computation and Deduction, FSCD 2023, July 3-6, 2023, Rome, Italy FSCD 260 (2023)

2022

volume 228, 2022

7th International Conference on Formal Structures for Computation and Deduction, FSCD 2022, August 2-5, 2022, Haifa, Israel. FSCD 228 (2022)