Portal - FSCD 2023

FSCD 2023	July 3-6, 2023, Rome, Italy
8th International Conference on Formal Structures for Computation and Deduction (FSCD 2023) Marco Gaboardi and Femke van Raamsdonk (Eds.)
ISBN 978-3-95977-277-8, LIPICS Vol. 260	ISSN 1868-8969

Additional Information

License
Conference Website
Complete volume (PDF, 10 MB)
Search Publication Server

Authors

Blondeau-Patissier, Lison

Dwyer Satterfield, Saraid

Ringeissen, Christophe

Ronchi Della Rocca, Simona

Front Matter, Table of Contents, Preface, Conference Organization

Authors: Gaboardi, Marco ; van Raamsdonk, Femke

Abstract | Document (565 KB) | BibTeX

Nominal Techniques for Software Specification and Verification (Invited Talk)

Authors: Fernández, Maribel

Abstract | Document (465 KB) | BibTeX

How Can We Make Trustworthy AI? (Invited Talk)

Authors: Jamnik, Mateja

Abstract | Document (327 KB) | BibTeX

A Lambda Calculus Satellite (Invited Talk)

Authors: Manzonetto, Giulio

Abstract | Document (801 KB) | BibTeX

Termination of Term Rewriting: Foundation, Formalization, Implementation, and Competition (Invited Talk)

Authors: Yamada, Akihisa

Abstract | Document (563 KB) | BibTeX

Homotopy Type Theory as Internal Languages of Diagrams of ∞-Logoses

Authors: Uemura, Taichi

Abstract | Document (874 KB) | BibTeX

The Formal Theory of Monads, Univalently

Authors: van der Weide, Niels

Abstract | Document (863 KB) | BibTeX

Automata-Based Verification of Relational Properties of Functions over Algebraic Data Structures

Authors: Losekoot, Théo ; Genet, Thomas ; Jensen, Thomas

Abstract | Document (951 KB) | BibTeX

The Sum-Product Algorithm For Quantitative Multiplicative Linear Logic

Authors: Ehrhard, Thomas ; Faggian, Claudia ; Pagani, Michele

Abstract | Document (1,251 KB) | BibTeX

Generalized Newman’s Lemma for Discrete and Continuous Systems

Authors: Ivanov, Ievgen

Abstract | Document (936 KB) | BibTeX

E-Unification for Second-Order Abstract Syntax

Authors: Kudasov, Nikolai

Abstract | Document (947 KB) | BibTeX

Two Decreasing Measures for Simply Typed λ-Terms

Authors: Barenbaum, Pablo ; Sottile, Cristian

Abstract | Document (825 KB) | BibTeX

Hydra Battles and AC Termination

Authors: Hirokawa, Nao ; Middeldorp, Aart

Abstract | Document (750 KB) | BibTeX

Strategies as Resource Terms, and Their Categorical Semantics

Authors: Blondeau-Patissier, Lison ; Clairambault, Pierre ; Vaux Auclair, Lionel

Abstract | Document (992 KB) | BibTeX

Rewriting Modulo Traced Comonoid Structure

Authors: Ghica, Dan R. ; Kaye, George

Abstract | Document (1,043 KB) | BibTeX

Cost-Size Semantics for Call-By-Value Higher-Order Rewriting

Authors: Kop, Cynthia ; Vale, Deivid

Abstract | Document (863 KB) | BibTeX

Categorical Coherence from Term Rewriting Systems

Authors: Mimram, Samuel

Abstract | Document (1,277 KB) | BibTeX

Convolution Products on Double Categories and Categorification of Rule Algebras

Authors: Behr, Nicolas ; Melliès, Paul-André ; Zeilberger, Noam

Abstract | Document (2,323 KB) | BibTeX

For the Metatheory of Type Theory, Internal Sconing Is Enough

Authors: Bocquet, Rafaël ; Kaposi, Ambrus ; Sattler, Christian

Abstract | Document (901 KB) | BibTeX

The Logical Essence of Compiling with Continuations

Authors: Espírito Santo, José ; Mendes, Filipa

Abstract | Document (776 KB) | BibTeX

On the Lattice of Program Metrics

Authors: Dal Lago, Ugo ; Hoshino, Naohiko ; Pistone, Paolo

Abstract | Document (891 KB) | BibTeX

Unifying Graded Linear Logic and Differential Operators

Authors: Breuvart, Flavien ; Kerjean, Marie ; Mirwasser, Simon

Abstract | Document (773 KB) | BibTeX

α-Avoidance

Authors: Frontull, Samuel ; Moser, Georg ; van Oostrom, Vincent

Abstract | Document (1,182 KB) | BibTeX

Partial Model Checking and Partial Model Synthesis in LTL Using a Tableau-Based Approach

Authors: Cerrito, Serenella ; Goranko, Valentin ; Paillocher, Sophie

Abstract | Document (817 KB) | BibTeX

Combinatory Logic and Lambda Calculus Are Equal, Algebraically

Authors: Altenkirch, Thorsten ; Kaposi, Ambrus ; Šinkarovs, Artjoms ; Végh, Tamás

Abstract | Document (687 KB) | BibTeX

Quotients and Extensionality in Relational Doctrines

Authors: Dagnino, Francesco ; Pasquali, Fabio

Abstract | Document (990 KB) | BibTeX

Type Isomorphisms for Multiplicative-Additive Linear Logic

Authors: Di Guardia, Rémi ; Laurent, Olivier

Abstract | Document (788 KB) | BibTeX

Cyclic Proofs for Arithmetical Inductive Definitions

Authors: Das, Anupam ; Melgaard, Lukas

Abstract | Document (838 KB) | BibTeX

Concurrent Realizability on Conjunctive Structures

Authors: Beffara, Emmanuel ; Castro, Félix ; Guillermo, Mauricio ; Miquey, Étienne

Abstract | Document (914 KB) | BibTeX

A Quantitative Version of Simple Types

Authors: Pautasso, Daniele ; Ronchi Della Rocca, Simona

Abstract | Document (781 KB) | BibTeX

Knowledge Problems in Security Protocols: Going Beyond Subterm Convergent Theories

Authors: Dwyer Satterfield, Saraid ; Erbatur, Serdar ; Marshall, Andrew M. ; Ringeissen, Christophe

Abstract | Document (750 KB) | BibTeX

Labelled Tableaux for Linear Time Bunched Implication Logic

Authors: Galmiche, Didier ; Méry, Daniel

Abstract | Document (765 KB) | BibTeX

Diller-Nahm Bar Recursion

Authors: Blot, Valentin

Abstract | Document (610 KB) | BibTeX

Dinaturality Meets Genericity: A Game Semantics of Bounded Polymorphism

Authors: Laird, James

Abstract | Document (797 KB) | BibTeX

Representing Guardedness in Call-By-Value

Authors: Goncharov, Sergey

Abstract | Document (825 KB) | BibTeX

DROPS-Home | Fulltext Search | Imprint | Privacy Published by LZI

8th International Conference on Formal Structures for Computation and Deduction (FSCD 2023)