| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Saraid Dwyer Satterfield, Serdar Erbatur, Andrew M. Marshall, Christophe Ringeissen |
Knowledge Problems in Security Protocols: Going Beyond Subterm Convergent Theories.  |
FSCD  |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | |
Front Matter, Table of Contents, Preface, Conference Organization. |
FSCD |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Maribel Fernández |
Nominal Techniques for Software Specification and Verification (Invited Talk). |
FSCD |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Flavien Breuvart, Marie Kerjean, Simon Mirwasser |
Unifying Graded Linear Logic and Differential Operators. |
FSCD |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Thomas Ehrhard, Claudia Faggian, Michele Pagani |
The Sum-Product Algorithm For Quantitative Multiplicative Linear Logic. |
FSCD |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Niels van der Weide |
The Formal Theory of Monads, Univalently. |
FSCD |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Nikolai Kudasov |
E-Unification for Second-Order Abstract Syntax. |
FSCD |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Nicolas Behr, Paul-André Melliès, Noam Zeilberger |
Convolution Products on Double Categories and Categorification of Rule Algebras. |
FSCD |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Anupam Das 0002, Lukas Melgaard |
Cyclic Proofs for Arithmetical Inductive Definitions. |
FSCD |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Rafaël Bocquet, Ambrus Kaposi, Christian Sattler |
For the Metatheory of Type Theory, Internal Sconing Is Enough. |
FSCD |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Emmanuel Beffara, Félix Castro, Mauricio Guillermo, Étienne Miquey |
Concurrent Realizability on Conjunctive Structures. |
FSCD |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Pablo Barenbaum, Cristian Sottile |
Two Decreasing Measures for Simply Typed λ-Terms. |
FSCD |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Giulio Manzonetto |
A Lambda Calculus Satellite (Invited Talk). |
FSCD |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Francesco Dagnino, Fabio Pasquali |
Quotients and Extensionality in Relational Doctrines. |
FSCD |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Daniele Pautasso, Simona Ronchi Della Rocca |
A Quantitative Version of Simple Types. |
FSCD |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Nao Hirokawa, Aart Middeldorp |
Hydra Battles and AC Termination. |
FSCD |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Théo Losekoot, Thomas Genet, Thomas P. Jensen |
Automata-Based Verification of Relational Properties of Functions over Algebraic Data Structures. |
FSCD |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Ugo Dal Lago, Naohiko Hoshino, Paolo Pistone |
On the Lattice of Program Metrics. |
FSCD |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Thorsten Altenkirch, Ambrus Kaposi, Artjoms Sinkarovs, Tamás Végh |
Combinatory Logic and Lambda Calculus Are Equal, Algebraically. |
FSCD |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | José Espírito Santo, Filipa Mendes |
The Logical Essence of Compiling with Continuations. |
FSCD |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Marco Gaboardi, Femke van Raamsdonk (eds.) |
8th International Conference on Formal Structures for Computation and Deduction, FSCD 2023, July 3-6, 2023, Rome, Italy |
FSCD |
2023 |
DBLP BibTeX RDF |
|
| 1 | Ievgen Ivanov |
Generalized Newman's Lemma for Discrete and Continuous Systems. |
FSCD |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Mateja Jamnik |
How Can We Make Trustworthy AI? (Invited Talk). |
FSCD |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Sergey Goncharov 0001 |
Representing Guardedness in Call-By-Value. |
FSCD |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Didier Galmiche, Daniel Méry |
Labelled Tableaux for Linear Time Bunched Implication Logic. |
FSCD |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Dan R. Ghica, George Kaye |
Rewriting Modulo Traced Comonoid Structure. |
FSCD |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Akihisa Yamada 0002 |
Termination of Term Rewriting: Foundation, Formalization, Implementation, and Competition (Invited Talk). |
FSCD |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Samuel Frontull, Georg Moser, Vincent van Oostrom |
α-Avoidance. |
FSCD |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Cynthia Kop, Deivid Vale |
Cost-Size Semantics for Call-By-Value Higher-Order Rewriting. |
FSCD |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Taichi Uemura |
Homotopy Type Theory as Internal Languages of Diagrams of ∞-Logoses. |
FSCD |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Serenella Cerrito, Valentin Goranko, Sophie Paillocher |
Partial Model Checking and Partial Model Synthesis in LTL Using a Tableau-Based Approach. |
FSCD |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Samuel Mimram |
Categorical Coherence from Term Rewriting Systems. |
FSCD |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | James Laird |
Dinaturality Meets Genericity: A Game Semantics of Bounded Polymorphism. |
FSCD |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Rémi Di Guardia, Olivier Laurent 0001 |
Type Isomorphisms for Multiplicative-Additive Linear Logic. |
FSCD |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Lison Blondeau-Patissier, Pierre Clairambault, Lionel Vaux Auclair |
Strategies as Resource Terms, and Their Categorical Semantics. |
FSCD |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Valentin Blot |
Diller-Nahm Bar Recursion. |
FSCD |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Liron Cohen 0001, Vincent Rahli |
Constructing Unprejudiced Extensional Type Theories with Choices via Modalities. |
FSCD |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Kiraku Shintani, Nao Hirokawa |
Compositional Confluence Criteria. |
FSCD |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Alejandro Díaz-Caro, Gilles Dowek |
Linear Lambda-Calculus is Linear. |
FSCD |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Matteo Acclavio, Ross Horne, Sjouke Mauw, Lutz Straßburger |
A Graphical Proof Theory of Logical Time. |
FSCD |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Anupam Das 0002, Abhishek De 0001, Alexis Saurin |
Decision Problems for Linear Logic with Least and Greatest Fixed Points. |
FSCD |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Mario Alvarez-Picallo, Dan R. Ghica, David Sprunger, Fabio Zanasi |
Rewriting for Monoidal Closed Categories. |
FSCD |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Serdar Erbatur, Andrew M. Marshall, Christophe Ringeissen |
Combined Hierarchical Matching: the Regular Case. |
FSCD |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Frédéric Blanqui |
Encoding Type Universes Without Using Matching Modulo Associativity and Commutativity. |
FSCD |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Daniel Gratzer, Lars Birkedal |
A Stratified Approach to Löb Induction. |
FSCD |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Fabian Mitterwallner, Aart Middeldorp |
Polynomial Termination Over ℕ Is Undecidable. |
FSCD |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Sergey Goncharov 0001, Stefan Milius, Lutz Schröder, Stelios Tsampas 0001, Henning Urbat |
Stateful Structural Operational Semantics. |
FSCD |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Delia Kesner, Loïc Peyrot |
Solvability for Generalized Applications. |
FSCD |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Dylan McDermott, Alan Mycroft |
Galois Connecting Call-by-Value and Call-by-Name. |
FSCD |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Alwen Tiu |
A Methodology for Designing Proof Search Calculi for Non-Classical Logics (Invited Talk). |
FSCD |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Thiago Felicissimo |
Adequate and Computational Encodings in the Logical Framework Dedukti. |
FSCD |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Samuel Mimram, Émile Oleon |
Division by Two, in Homotopy Type Theory. |
FSCD |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Clément Aubert, Thomas Rubiano, Neea Rusch, Thomas Seiller |
mwp-Analysis Improvement and Implementation: Realizing Implicit Computational Complexity. |
FSCD |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Willem B. Heijltjes, Dominic J. D. Hughes, Lutz Straßburger |
Normalization Without Syntax. |
FSCD |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Manfred Schmidt-Schauß, Daniele Nantes-Sobrinho |
Nominal Anti-Unification with Atom-Variables. |
FSCD |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Cynthia Kop |
Cutting a Proof into Bite-Sized Chunks: Incrementally proving termination in higher-order term rewriting (Invited Talk). |
FSCD |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Emmanuel Jeandel, Simon Perdrix, Margarita Veshchezerova |
Addition and Differentiation of ZX-Diagrams. |
FSCD |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Claudia Faggian, Giulio Guerrieri |
Strategies for Asymptotic Normalization. |
FSCD |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Marcelo Fiore, Zeinab Galal, Hugo Paquet |
A Combinatorial Approach to Higher-Order Structure for Polynomial Functors. |
FSCD |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Marc Hermes, Dominik Kirst |
An Analysis of Tennenbaum's Theorem in Constructive Type Theory. |
FSCD |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Siva Somayyajula, Frank Pfenning |
Type-Based Termination for Futures. |
FSCD |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Mauricio Ayala-Rincón, Maribel Fernández, Gabriel Ferreira Silva, Daniele Nantes Sobrinho |
A Certified Algorithm for AC-Unification. |
FSCD |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Francesco Dagnino, Francesco Gavazzo |
A Fibrational Tale of Operational Logical Relations. |
FSCD |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Amy P. Felty (eds.) |
7th International Conference on Formal Structures for Computation and Deduction, FSCD 2022, August 2-5, 2022, Haifa, Israel. |
FSCD |
2022 |
DBLP BibTeX RDF |
|
| 1 | Jonathan Sterling, Robert Harper 0001 |
Sheaf Semantics of Termination-Insensitive Noninterference. |
FSCD |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Nariyoshi Chida, Tachio Terauchi |
On Lookaheads in Regular Expressions with Backreferences. |
FSCD |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | |
Front Matter, Table of Contents, Preface, Conference Organization. |
FSCD |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Jan Bessai, Lukasz Czajka 0001, Felix Laarmann, Jakob Rehof |
Restricting Tree Grammars with Term Rewriting. |
FSCD |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Andrej Dudenhefner |
Certified Decision Procedures for Two-Counter Machines. |
FSCD |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Ugo Dal Lago, Furio Honsell, Marina Lenisa, Paolo Pistone |
On Quantitative Algebraic Higher-Order Theories. |
FSCD |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Deepak Kapur |
A Modular Associative Commutative (AC) Congruence Closure Algorithm. |
FSCD |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Paolo Pistone, Luca Tranchini |
What's Decidable About (Atomic) Polymorphism? |
FSCD |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Cristina Matache, Sean K. Moss, Sam Staton |
Recursion and Sequentiality in Categories of Sheaves. |
FSCD |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Nathanael Arkor, Dylan McDermott |
Abstract Clones for Abstract Syntax. |
FSCD |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Nao Hirokawa |
Completion and Reduction Orders (Invited Talk). |
FSCD |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Tom de Jong, Martín Hötzel Escardó |
Predicative Aspects of Order Theory in Univalent Foundations. |
FSCD |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Hans-Peter Deifel, Stefan Milius, Thorsten Wißmann |
Coalgebra Encoding for Efficient Minimization. |
FSCD |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Anupam Das 0002, Alex A. Rice |
New Minimal Linear Inferences in Boolean Logic Independent of Switch and Medial. |
FSCD |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Elaine Pimentel, Carlos Olarte, Vivek Nigam |
Process-As-Formula Interpretation: A Substructural Multimodal View (Invited Talk). |
FSCD |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Rick Statman |
Church's Semigroup Is Sq-Universal. |
FSCD |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Thibaut Balabonski, Antoine Lanco, Guillaume Melquiond |
A Strong Call-By-Need Calculus. |
FSCD |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | |
Front Matter, Table of Contents, Preface, Conference Organization. |
FSCD |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Paul Downen, Zena M. Ariola |
Duality in Action (Invited Talk). |
FSCD |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Kenji Saotome, Koji Nakazawa, Daisuke Kimura |
Failure of Cut-Elimination in the Cyclic Proof System of Bunched Logic with Inductive Propositions. |
FSCD |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Lison Blondeau-Patissier, Pierre Clairambault |
Positional Injectivity for Innocent Strategies. |
FSCD |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Cynthia Kop, Deivid Vale |
Tuple Interpretations for Higher-Order Complexity. |
FSCD |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Dominique Larchey-Wendling |
Synthetic Undecidability of MSELL via FRACTRAN Mechanised in Coq. |
FSCD |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Jakob Grue Simonsen |
The Expressive Power of One Variable Used Once: The Chomsky Hierarchy and First-Order Monadic Constructor Rewriting. |
FSCD |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Vincent van Oostrom |
Z; Syntax-Free Developments. |
FSCD |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Joseph W. N. Paulus, Daniele Nantes-Sobrinho, Jorge A. Pérez 0001 |
Non-Deterministic Functions as Non-Deterministic Processes. |
FSCD |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Youyou Cong, Chiaki Ishio, Kaho Honda, Kenichi Asai |
A Functional Abstraction of Typed Invocation Contexts. |
FSCD |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Maika Fujii, Kenichi Asai |
Derivation of a Virtual Machine For Four Variants of Delimited-Control Operators. |
FSCD |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Naoki Kobayashi 0001 (eds.) |
6th International Conference on Formal Structures for Computation and Deduction, FSCD 2021, July 17-24, 2021, Buenos Aires, Argentina (Virtual Conference). |
FSCD |
2021 |
DBLP BibTeX RDF |
|
| 1 | Ugo Dal Lago, Francesco Gavazzo |
Resource Transition Systems and Full Abstraction for Linear Higher-Order Effectful Programs. |
FSCD |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Niccolò Veltri |
Type-Theoretic Constructions of the Final Coalgebra of the Finite Powerset Functor. |
FSCD |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Zeinab Galal |
A Bicategorical Model for Finite Nondeterminism. |
FSCD |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Axel Kerinec, Giulio Manzonetto, Simona Ronchi Della Rocca |
Call-By-Value, Again! |
FSCD |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Didier Galmiche, Marta Gawek, Daniel Méry |
Beth Semantics and Labelled Deduction for Intuitionistic Sentential Calculus with Identity. |
FSCD |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Frédéric Blanqui, Gilles Dowek, Émilie Grienenberger, Gabriel Hondet, François Thiré |
Some Axioms for Mathematics. |
FSCD |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Dohan Kim 0001, Christopher Lynch |
An RPO-Based Ordering Modulo Permutation Equations and Its Applications to Rewrite Systems. |
FSCD |
2021 |
DBLP DOI BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")
data released under the ODC-BY 1.0 license