FSCD

Keyphrases

Publications

2024

Junyoung Jang, Sophia Roshal, Frank Pfenning, Brigitte Pientka
Adjoint Natural Deduction. FSCD (2024)
Salvador Lucas
Termination of Generalized Term Rewriting Systems. FSCD (2024)
Maximilian Doré, Evan Cavallo, Anders Mörtberg
Automating Boundary Filling in Cubical Agda. FSCD (2024)
Kostia Chardonnet, Louis Lemonnier, Benoît Valiron
Semantics for a Turing-Complete Reversible Programming Language with Inductive Types. FSCD (2024)
Sebastian Ullrich
Lean: Past, Present, and Future (Invited Talk). FSCD (2024)
Ambrus Kaposi, Szumi Xie
Second-Order Generalised Algebraic Theories: Signatures and First-Order Semantics. FSCD (2024)
Mateo Torres-Ruiz, Robin Piedeleu, Alexandra Silva, Fabio Zanasi
On Iteration in Discrete Probabilistic Programming. FSCD (2024)
Takahito Aoto, Naoki Nishida, Jonas Schöpf
Equational Theories and Validity for Logically Constrained Term Rewriting. FSCD (2024)
Georgios Alexandros Kavvos
Two-Dimensional Kripke Semantics I: Presheaves. FSCD (2024)
Front Matter, Table of Contents, Preface, Conference Organization. FSCD (2024)
Aloÿs Dufour, Damiano Mazza
Böhm and Taylor for All! FSCD (2024)
Beniamino Accattoli, Adrienne Lancelot
Mirroring Call-By-Need, or Values Acting Silly. FSCD (2024)
Delia Kesner, Victor Arrial, Giulio Guerrieri
Meaningfulness and Genericity in a Subsuming Framework (Invited Talk). FSCD (2024)
Beniamino Accattoli, Claudio Sacerdoti Coen
IMELL Cut Elimination with Linear Overhead. FSCD (2024)
Ralph Matthes, Kobe Wullaert, Benedikt Ahrens
Substitution for Non-Wellfounded Syntax with Binders Through Monoidal Categories. FSCD (2024)
Andrej Dudenhefner, Daniele Pautasso
Mechanized Subject Expansion in Uniform Intersection Types for Perpetual Reductions. FSCD (2024)
René Thiemann, Akihisa Yamada
A Verified Algorithm for Deciding Pattern Completeness. FSCD (2024)
Sohei Ito, Makoto Tatsuta
Representation of Peano Arithmetic in Separation Logic. FSCD (2024)
Thiago Felicissimo, Théo Winterhalter
Impredicativity, Cumulativity and Product Covariance in the Logical Framework Dedukti. FSCD (2024)
Tao Gu, Jialu Bao, Justin Hsu, Alexandra Silva, Fabio Zanasi
A Categorical Approach to DIBI Models. FSCD (2024)
Niels van der Weide
Univalent Enriched Categories and the Enriched Rezk Completion. FSCD (2024)
Malgorzata Biernacka, Dariusz Biernacki, Sergueï Lenglet, Alan Schmitt
Optimizing a Non-Deterministic Abstract Machine with Environments. FSCD (2024)
Benoît Guillemet, Assia Mahboubi, Matthieu Piquerez
Machine-Checked Categorical Diagrammatic Reasoning. FSCD (2024)
Victor Sannier, Patrick Baillot
A Linear Type System for L^p-Metric Sensitivity Analysis. FSCD (2024)
Nathan Corbyn, Lukas Heidemann, Nick Hu, Chiara Sarti, Calin Tataru, Jamie Vicary
homotopy.io: A Proof Assistant for Finitely-Presented Globular n-Categories. FSCD (2024)
Samson Abramsky, Serban-Ion Cercelescu, Carmen-Maria Constantin
Commutation Groups and State-Independent Contextuality. FSCD (2024)
Marie Kerjean, Jean-Simon Pacaud Lemay
Laplace Distributors and Laplace Transformations for Differential Categories. FSCD (2024)
Franz Baader, Jürgen Giesl
On the Complexity of the Small Term Reachability Problem for Terminating Term Rewriting Systems. FSCD (2024)
Mateus de Oliveira Oliveira, Farhad Vadiee
State Canonization and Early Pruning in Width-Based Automated Theorem Proving. FSCD (2024)
Hugo Herbelin, Jad Koleilat
On the Logical Structure of Some Maximality and Well-Foundedness Principles Equivalent to Choice Principles. FSCD (2024)
Pablo Donato
The Flower Calculus. FSCD (2024)
Teppei Saito, Nao Hirokawa
Simulating Dependency Pairs by Semantic Labeling. FSCD (2024)
Camil Champin, Samuel Mimram, Émile Oleon
Delooping Generated Groups in Homotopy Type Theory. FSCD (2024)
Filip Cano, Thomas A. Henzinger, Bettina Könighofer, Konstantin Kueffner, Kaushik Mallik
Abstraction-Based Decision Making for Statistical Properties (Invited Talk). FSCD (2024)

volume 299, 2024

9th International Conference on Formal Structures for Computation and Deduction, FSCD 2024, July 10-13, 2024, Tallinn, Estonia FSCD 299 (2024)

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)