![](https://dblp.uni-trier.de./img/logo.ua.320x120.png)
![](https://dblp.uni-trier.de./img/dropdown.dark.16x16.png)
![](https://dblp.uni-trier.de./img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.uni-trier.de./img/search.dark.16x16.png)
![search dblp](https://dblp.uni-trier.de./img/search.dark.16x16.png)
default search action
9th FSCD 2024: Tallinn, Estonia
- Jakob Rehof:
9th International Conference on Formal Structures for Computation and Deduction, FSCD 2024, July 10-13, 2024, Tallinn, Estonia. LIPIcs 299, Schloss Dagstuhl - Leibniz-Zentrum für Informatik 2024, ISBN 978-3-95977-323-2 - Front Matter, Table of Contents, Preface, Conference Organization. 0:i-0:xviii
- Delia Kesner, Victor Arrial, Giulio Guerrieri:
Meaningfulness and Genericity in a Subsuming Framework (Invited Talk). 1:1-1:24 - Filip Cano, Thomas A. Henzinger, Bettina Könighofer, Konstantin Kueffner, Kaushik Mallik:
Abstraction-Based Decision Making for Statistical Properties (Invited Talk). 2:1-2:17 - Sebastian Ullrich:
Lean: Past, Present, and Future (Invited Talk). 3:1-3:2 - Niels van der Weide:
Univalent Enriched Categories and the Enriched Rezk Completion. 4:1-4:19 - Pablo Donato
:
The Flower Calculus. 5:1-5:24 - Camil Champin, Samuel Mimram, Émile Oleon:
Delooping Generated Groups in Homotopy Type Theory. 6:1-6:20 - Benoît Guillemet, Assia Mahboubi, Matthieu Piquerez:
Machine-Checked Categorical Diagrammatic Reasoning. 7:1-7:19 - Andrej Dudenhefner
, Daniele Pautasso:
Mechanized Subject Expansion in Uniform Intersection Types for Perpetual Reductions. 8:1-8:20 - Marie Kerjean, Jean-Simon Pacaud Lemay:
Laplace Distributors and Laplace Transformations for Differential Categories. 9:1-9:21 - Ambrus Kaposi, Szumi Xie:
Second-Order Generalised Algebraic Theories: Signatures and First-Order Semantics. 10:1-10:24 - Malgorzata Biernacka, Dariusz Biernacki, Sergueï Lenglet, Alan Schmitt:
Optimizing a Non-Deterministic Abstract Machine with Environments. 11:1-11:22 - Victor Sannier, Patrick Baillot:
A Linear Type System for L^p-Metric Sensitivity Analysis. 12:1-12:22 - Teppei Saito, Nao Hirokawa:
Simulating Dependency Pairs by Semantic Labeling. 13:1-13:20 - Georgios Alexandros Kavvos:
Two-Dimensional Kripke Semantics I: Presheaves. 14:1-14:23 - Junyoung Jang
, Sophia Roshal, Frank Pfenning, Brigitte Pientka:
Adjoint Natural Deduction. 15:1-15:23 - Franz Baader, Jürgen Giesl
:
On the Complexity of the Small Term Reachability Problem for Terminating Term Rewriting Systems. 16:1-16:18 - Tao Gu, Jialu Bao, Justin Hsu, Alexandra Silva, Fabio Zanasi:
A Categorical Approach to DIBI Models. 17:1-17:20 - Sohei Ito, Makoto Tatsuta:
Representation of Peano Arithmetic in Separation Logic. 18:1-18:17 - Kostia Chardonnet, Louis Lemonnier, Benoît Valiron:
Semantics for a Turing-Complete Reversible Programming Language with Inductive Types. 19:1-19:19 - Mateo Torres-Ruiz, Robin Piedeleu, Alexandra Silva, Fabio Zanasi:
On Iteration in Discrete Probabilistic Programming. 20:1-20:21 - Thiago Felicissimo, Théo Winterhalter:
Impredicativity, Cumulativity and Product Covariance in the Logical Framework Dedukti. 21:1-21:23 - Maximilian Doré, Evan Cavallo, Anders Mörtberg:
Automating Boundary Filling in Cubical Agda. 22:1-22:18 - Beniamino Accattoli, Adrienne Lancelot:
Mirroring Call-By-Need, or Values Acting Silly. 23:1-23:24 - Beniamino Accattoli, Claudio Sacerdoti Coen:
IMELL Cut Elimination with Linear Overhead. 24:1-24:24 - Ralph Matthes, Kobe Wullaert, Benedikt Ahrens:
Substitution for Non-Wellfounded Syntax with Binders Through Monoidal Categories. 25:1-25:22 - Hugo Herbelin, Jad Koleilat:
On the Logical Structure of Some Maximality and Well-Foundedness Principles Equivalent to Choice Principles. 26:1-26:15 - René Thiemann, Akihisa Yamada:
A Verified Algorithm for Deciding Pattern Completeness. 27:1-27:17 - Samson Abramsky, Serban-Ion Cercelescu, Carmen-Maria Constantin:
Commutation Groups and State-Independent Contextuality. 28:1-28:20 - Aloÿs Dufour, Damiano Mazza:
Böhm and Taylor for All! 29:1-29:20 - Nathan Corbyn, Lukas Heidemann, Nick Hu, Chiara Sarti, Calin Tataru, Jamie Vicary:
homotopy.io: A Proof Assistant for Finitely-Presented Globular n-Categories. 30:1-30:26 - Takahito Aoto, Naoki Nishida, Jonas Schöpf:
Equational Theories and Validity for Logically Constrained Term Rewriting. 31:1-31:21 - Salvador Lucas:
Termination of Generalized Term Rewriting Systems. 32:1-32:18 - Mateus de Oliveira Oliveira, Farhad Vadiee:
State Canonization and Early Pruning in Width-Based Automated Theorem Proving. 33:1-33:17
![](https://dblp.uni-trier.de./img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.