@Proceedings{felty:LIPIcs.FSCD.2022,
title = {{LIPIcs, Volume 228, FSCD 2022, Complete Volume}},
booktitle = {7th International Conference on Formal Structures for Computation and Deduction (FSCD 2022)},
pages = {1--652},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-233-4},
ISSN = {1868-8969},
year = {2022},
volume = {228},
editor = {Felty, Amy P.},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.FSCD.2022},
URN = {urn:nbn:de:0030-drops-162803},
doi = {10.4230/LIPIcs.FSCD.2022},
annote = {Keywords: LIPIcs, Volume 228, FSCD 2022, Complete Volume}
}
@InProceedings{felty:LIPIcs.FSCD.2022.0,
author = {Felty, Amy P.},
title = {{Front Matter, Table of Contents, Preface, Conference Organization}},
booktitle = {7th International Conference on Formal Structures for Computation and Deduction (FSCD 2022)},
pages = {0:i--0:xviii},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-233-4},
ISSN = {1868-8969},
year = {2022},
volume = {228},
editor = {Felty, Amy P.},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.FSCD.2022.0},
URN = {urn:nbn:de:0030-drops-162814},
doi = {10.4230/LIPIcs.FSCD.2022.0},
annote = {Keywords: Front Matter, Table of Contents, Preface, Conference Organization}
}
@InProceedings{kop:LIPIcs.FSCD.2022.1,
author = {Kop, Cynthia},
title = {{Cutting a Proof into Bite-Sized Chunks: Incrementally proving termination in higher-order term rewriting}},
booktitle = {7th International Conference on Formal Structures for Computation and Deduction (FSCD 2022)},
pages = {1:1--1:17},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-233-4},
ISSN = {1868-8969},
year = {2022},
volume = {228},
editor = {Felty, Amy P.},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.FSCD.2022.1},
URN = {urn:nbn:de:0030-drops-162827},
doi = {10.4230/LIPIcs.FSCD.2022.1},
annote = {Keywords: Termination, Modularity, Higher-order term rewriting, Dependency Pairs, Algebra Interpretations}
}
@InProceedings{tiu:LIPIcs.FSCD.2022.2,
author = {Tiu, Alwen},
title = {{A Methodology for Designing Proof Search Calculi for Non-Classical Logics}},
booktitle = {7th International Conference on Formal Structures for Computation and Deduction (FSCD 2022)},
pages = {2:1--2:4},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-233-4},
ISSN = {1868-8969},
year = {2022},
volume = {228},
editor = {Felty, Amy P.},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.FSCD.2022.2},
URN = {urn:nbn:de:0030-drops-162834},
doi = {10.4230/LIPIcs.FSCD.2022.2},
annote = {Keywords: Proof theory, Sequent calculus, Display calculus, Nested sequent calculus, Deep inference}
}
@InProceedings{dagnino_et_al:LIPIcs.FSCD.2022.3,
author = {Dagnino, Francesco and Gavazzo, Francesco},
title = {{A Fibrational Tale of Operational Logical Relations}},
booktitle = {7th International Conference on Formal Structures for Computation and Deduction (FSCD 2022)},
pages = {3:1--3:21},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-233-4},
ISSN = {1868-8969},
year = {2022},
volume = {228},
editor = {Felty, Amy P.},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.FSCD.2022.3},
URN = {urn:nbn:de:0030-drops-162840},
doi = {10.4230/LIPIcs.FSCD.2022.3},
annote = {Keywords: logical relations, operational semantics, fibrations, generic effects, program distance}
}
@InProceedings{dallago_et_al:LIPIcs.FSCD.2022.4,
author = {Dal Lago, Ugo and Honsell, Furio and Lenisa, Marina and Pistone, Paolo},
title = {{On Quantitative Algebraic Higher-Order Theories}},
booktitle = {7th International Conference on Formal Structures for Computation and Deduction (FSCD 2022)},
pages = {4:1--4:18},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-233-4},
ISSN = {1868-8969},
year = {2022},
volume = {228},
editor = {Felty, Amy P.},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.FSCD.2022.4},
URN = {urn:nbn:de:0030-drops-162851},
doi = {10.4230/LIPIcs.FSCD.2022.4},
annote = {Keywords: Quantitative Algebras, Lambda Calculus, Combinatory Logic, Metric Spaces}
}
@InProceedings{sterling_et_al:LIPIcs.FSCD.2022.5,
author = {Sterling, Jonathan and Harper, Robert},
title = {{Sheaf Semantics of Termination-Insensitive Noninterference}},
booktitle = {7th International Conference on Formal Structures for Computation and Deduction (FSCD 2022)},
pages = {5:1--5:19},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-233-4},
ISSN = {1868-8969},
year = {2022},
volume = {228},
editor = {Felty, Amy P.},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.FSCD.2022.5},
URN = {urn:nbn:de:0030-drops-162869},
doi = {10.4230/LIPIcs.FSCD.2022.5},
annote = {Keywords: information flow, noninterference, denotational semantics, phase distinction, Artin gluing, modal type theory, topos theory, synthetic domain theory, synthetic Tait computability}
}
@InProceedings{erbatur_et_al:LIPIcs.FSCD.2022.6,
author = {Erbatur, Serdar and Marshall, Andrew M. and Ringeissen, Christophe},
title = {{Combined Hierarchical Matching: the Regular Case}},
booktitle = {7th International Conference on Formal Structures for Computation and Deduction (FSCD 2022)},
pages = {6:1--6:22},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-233-4},
ISSN = {1868-8969},
year = {2022},
volume = {228},
editor = {Felty, Amy P.},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.FSCD.2022.6},
URN = {urn:nbn:de:0030-drops-162879},
doi = {10.4230/LIPIcs.FSCD.2022.6},
annote = {Keywords: Matching, combination problem, equational theories}
}
@InProceedings{schmidtschau_et_al:LIPIcs.FSCD.2022.7,
author = {Schmidt-Schau{\ss}, Manfred and Nantes-Sobrinho, Daniele},
title = {{Nominal Anti-Unification with Atom-Variables}},
booktitle = {7th International Conference on Formal Structures for Computation and Deduction (FSCD 2022)},
pages = {7:1--7:22},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-233-4},
ISSN = {1868-8969},
year = {2022},
volume = {228},
editor = {Felty, Amy P.},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.FSCD.2022.7},
URN = {urn:nbn:de:0030-drops-162885},
doi = {10.4230/LIPIcs.FSCD.2022.7},
annote = {Keywords: Generalization, anti-unification, nominal algorithms, higher-order deduction}
}
@InProceedings{ayalarincon_et_al:LIPIcs.FSCD.2022.8,
author = {Ayala-Rinc\'{o}n, Mauricio and Fern\'{a}ndez, Maribel and Silva, Gabriel Ferreira and Sobrinho, Daniele Nantes},
title = {{A Certified Algorithm for AC-Unification}},
booktitle = {7th International Conference on Formal Structures for Computation and Deduction (FSCD 2022)},
pages = {8:1--8:21},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-233-4},
ISSN = {1868-8969},
year = {2022},
volume = {228},
editor = {Felty, Amy P.},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.FSCD.2022.8},
URN = {urn:nbn:de:0030-drops-162894},
doi = {10.4230/LIPIcs.FSCD.2022.8},
annote = {Keywords: AC-Unification, PVS, Certified Algorithms, Formal Methods, Interactive Theorem Proving}
}
@InProceedings{hermes_et_al:LIPIcs.FSCD.2022.9,
author = {Hermes, Marc and Kirst, Dominik},
title = {{An Analysis of Tennenbaum’s Theorem in Constructive Type Theory}},
booktitle = {7th International Conference on Formal Structures for Computation and Deduction (FSCD 2022)},
pages = {9:1--9:19},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-233-4},
ISSN = {1868-8969},
year = {2022},
volume = {228},
editor = {Felty, Amy P.},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.FSCD.2022.9},
URN = {urn:nbn:de:0030-drops-162909},
doi = {10.4230/LIPIcs.FSCD.2022.9},
annote = {Keywords: first-order logic, Peano arithmetic, Tennenbaum’s theorem, constructive type theory, Church’s thesis, synthetic computability, Coq}
}
@InProceedings{cohen_et_al:LIPIcs.FSCD.2022.10,
author = {Cohen, Liron and Rahli, Vincent},
title = {{Constructing Unprejudiced Extensional Type Theories with Choices via Modalities}},
booktitle = {7th International Conference on Formal Structures for Computation and Deduction (FSCD 2022)},
pages = {10:1--10:23},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-233-4},
ISSN = {1868-8969},
year = {2022},
volume = {228},
editor = {Felty, Amy P.},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.FSCD.2022.10},
URN = {urn:nbn:de:0030-drops-162917},
doi = {10.4230/LIPIcs.FSCD.2022.10},
annote = {Keywords: Intuitionism, Extensional Type Theory, Constructive Type Theory, Realizability, Choice sequences, References, Classical Logic, Theorem proving, Agda}
}
@InProceedings{mimram_et_al:LIPIcs.FSCD.2022.11,
author = {Mimram, Samuel and Oleon, \'{E}mile},
title = {{Division by Two, in Homotopy Type Theory}},
booktitle = {7th International Conference on Formal Structures for Computation and Deduction (FSCD 2022)},
pages = {11:1--11:17},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-233-4},
ISSN = {1868-8969},
year = {2022},
volume = {228},
editor = {Felty, Amy P.},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.FSCD.2022.11},
URN = {urn:nbn:de:0030-drops-162920},
doi = {10.4230/LIPIcs.FSCD.2022.11},
annote = {Keywords: division, axiom of choice, set theory, homotopy type theory, Agda}
}
@InProceedings{somayyajula_et_al:LIPIcs.FSCD.2022.12,
author = {Somayyajula, Siva and Pfenning, Frank},
title = {{Type-Based Termination for Futures}},
booktitle = {7th International Conference on Formal Structures for Computation and Deduction (FSCD 2022)},
pages = {12:1--12:21},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-233-4},
ISSN = {1868-8969},
year = {2022},
volume = {228},
editor = {Felty, Amy P.},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.FSCD.2022.12},
URN = {urn:nbn:de:0030-drops-162931},
doi = {10.4230/LIPIcs.FSCD.2022.12},
annote = {Keywords: type-based termination, sized types, futures, concurrency, infinite proofs}
}
@InProceedings{jeandel_et_al:LIPIcs.FSCD.2022.13,
author = {Jeandel, Emmanuel and Perdrix, Simon and Veshchezerova, Margarita},
title = {{Addition and Differentiation of ZX-Diagrams}},
booktitle = {7th International Conference on Formal Structures for Computation and Deduction (FSCD 2022)},
pages = {13:1--13:19},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-233-4},
ISSN = {1868-8969},
year = {2022},
volume = {228},
editor = {Felty, Amy P.},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.FSCD.2022.13},
URN = {urn:nbn:de:0030-drops-162946},
doi = {10.4230/LIPIcs.FSCD.2022.13},
annote = {Keywords: ZX calculus, Addition of ZX diagrams, Diagrammatic differentiation}
}
@InProceedings{bessai_et_al:LIPIcs.FSCD.2022.14,
author = {Bessai, Jan and Czajka, Lukasz and Laarmann, Felix and Rehof, Jakob},
title = {{Restricting Tree Grammars with Term Rewriting}},
booktitle = {7th International Conference on Formal Structures for Computation and Deduction (FSCD 2022)},
pages = {14:1--14:19},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-233-4},
ISSN = {1868-8969},
year = {2022},
volume = {228},
editor = {Felty, Amy P.},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.FSCD.2022.14},
URN = {urn:nbn:de:0030-drops-162953},
doi = {10.4230/LIPIcs.FSCD.2022.14},
annote = {Keywords: tree automata, tree grammar, term rewriting, normalization, emptiness, finiteness}
}
@InProceedings{chida_et_al:LIPIcs.FSCD.2022.15,
author = {Chida, Nariyoshi and Terauchi, Tachio},
title = {{On Lookaheads in Regular Expressions with Backreferences}},
booktitle = {7th International Conference on Formal Structures for Computation and Deduction (FSCD 2022)},
pages = {15:1--15:18},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-233-4},
ISSN = {1868-8969},
year = {2022},
volume = {228},
editor = {Felty, Amy P.},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.FSCD.2022.15},
URN = {urn:nbn:de:0030-drops-162965},
doi = {10.4230/LIPIcs.FSCD.2022.15},
annote = {Keywords: Regular expressions, Lookaheads, Backreferences, Memory automata}
}
@InProceedings{dudenhefner:LIPIcs.FSCD.2022.16,
author = {Dudenhefner, Andrej},
title = {{Certified Decision Procedures for Two-Counter Machines}},
booktitle = {7th International Conference on Formal Structures for Computation and Deduction (FSCD 2022)},
pages = {16:1--16:18},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-233-4},
ISSN = {1868-8969},
year = {2022},
volume = {228},
editor = {Felty, Amy P.},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.FSCD.2022.16},
URN = {urn:nbn:de:0030-drops-162978},
doi = {10.4230/LIPIcs.FSCD.2022.16},
annote = {Keywords: constructive mathematics, computability theory, decidability, counter automata, mechanization, Coq}
}
@InProceedings{faggian_et_al:LIPIcs.FSCD.2022.17,
author = {Faggian, Claudia and Guerrieri, Giulio},
title = {{Strategies for Asymptotic Normalization}},
booktitle = {7th International Conference on Formal Structures for Computation and Deduction (FSCD 2022)},
pages = {17:1--17:24},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-233-4},
ISSN = {1868-8969},
year = {2022},
volume = {228},
editor = {Felty, Amy P.},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.FSCD.2022.17},
URN = {urn:nbn:de:0030-drops-162987},
doi = {10.4230/LIPIcs.FSCD.2022.17},
annote = {Keywords: rewriting, strategies, normalization, lambda calculus, probabilistic rewriting}
}
@InProceedings{kesner_et_al:LIPIcs.FSCD.2022.18,
author = {Kesner, Delia and Peyrot, Lo\"{i}c},
title = {{Solvability for Generalized Applications}},
booktitle = {7th International Conference on Formal Structures for Computation and Deduction (FSCD 2022)},
pages = {18:1--18:22},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-233-4},
ISSN = {1868-8969},
year = {2022},
volume = {228},
editor = {Felty, Amy P.},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.FSCD.2022.18},
URN = {urn:nbn:de:0030-drops-162994},
doi = {10.4230/LIPIcs.FSCD.2022.18},
annote = {Keywords: Lambda-calculus, Generalized applications, Solvability, CBN/CBV, Quantitative types}
}
@InProceedings{heijltjes_et_al:LIPIcs.FSCD.2022.19,
author = {Heijltjes, Willem B. and Hughes, Dominic J. D. and Stra{\ss}burger, Lutz},
title = {{Normalization Without Syntax}},
booktitle = {7th International Conference on Formal Structures for Computation and Deduction (FSCD 2022)},
pages = {19:1--19:19},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-233-4},
ISSN = {1868-8969},
year = {2022},
volume = {228},
editor = {Felty, Amy P.},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.FSCD.2022.19},
URN = {urn:nbn:de:0030-drops-163004},
doi = {10.4230/LIPIcs.FSCD.2022.19},
annote = {Keywords: combinatorial proofs, intuitionistic logic, lambda-calculus, Curry-Howard, proof nets}
}
@InProceedings{das_et_al:LIPIcs.FSCD.2022.20,
author = {Das, Anupam and De, Abhishek and Saurin, Alexis},
title = {{Decision Problems for Linear Logic with Least and Greatest Fixed Points}},
booktitle = {7th International Conference on Formal Structures for Computation and Deduction (FSCD 2022)},
pages = {20:1--20:20},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-233-4},
ISSN = {1868-8969},
year = {2022},
volume = {228},
editor = {Felty, Amy P.},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.FSCD.2022.20},
URN = {urn:nbn:de:0030-drops-163019},
doi = {10.4230/LIPIcs.FSCD.2022.20},
annote = {Keywords: Linear logic, fixed points, decidability, vector addition systems}
}
@InProceedings{diazcaro_et_al:LIPIcs.FSCD.2022.21,
author = {D{\'\i}az-Caro, Alejandro and Dowek, Gilles},
title = {{Linear Lambda-Calculus is Linear}},
booktitle = {7th International Conference on Formal Structures for Computation and Deduction (FSCD 2022)},
pages = {21:1--21:17},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-233-4},
ISSN = {1868-8969},
year = {2022},
volume = {228},
editor = {Felty, Amy P.},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.FSCD.2022.21},
URN = {urn:nbn:de:0030-drops-163024},
doi = {10.4230/LIPIcs.FSCD.2022.21},
annote = {Keywords: Proof theory, Lambda calculus, Linear logic, Quantum computing}
}
@InProceedings{acclavio_et_al:LIPIcs.FSCD.2022.22,
author = {Acclavio, Matteo and Horne, Ross and Mauw, Sjouke and Stra{\ss}burger, Lutz},
title = {{A Graphical Proof Theory of Logical Time}},
booktitle = {7th International Conference on Formal Structures for Computation and Deduction (FSCD 2022)},
pages = {22:1--22:25},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-233-4},
ISSN = {1868-8969},
year = {2022},
volume = {228},
editor = {Felty, Amy P.},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.FSCD.2022.22},
URN = {urn:nbn:de:0030-drops-163037},
doi = {10.4230/LIPIcs.FSCD.2022.22},
annote = {Keywords: proof theory, causality, deep inference}
}
@InProceedings{gratzer_et_al:LIPIcs.FSCD.2022.23,
author = {Gratzer, Daniel and Birkedal, Lars},
title = {{A Stratified Approach to L\"{o}b Induction}},
booktitle = {7th International Conference on Formal Structures for Computation and Deduction (FSCD 2022)},
pages = {23:1--23:22},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-233-4},
ISSN = {1868-8969},
year = {2022},
volume = {228},
editor = {Felty, Amy P.},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.FSCD.2022.23},
URN = {urn:nbn:de:0030-drops-163048},
doi = {10.4230/LIPIcs.FSCD.2022.23},
annote = {Keywords: Dependent type theory, guarded recursion, modal type theory, canonicity, categorical gluing}
}
@InProceedings{blanqui:LIPIcs.FSCD.2022.24,
author = {Blanqui, Fr\'{e}d\'{e}ric},
title = {{Encoding Type Universes Without Using Matching Modulo Associativity and Commutativity}},
booktitle = {7th International Conference on Formal Structures for Computation and Deduction (FSCD 2022)},
pages = {24:1--24:14},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-233-4},
ISSN = {1868-8969},
year = {2022},
volume = {228},
editor = {Felty, Amy P.},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.FSCD.2022.24},
URN = {urn:nbn:de:0030-drops-163059},
doi = {10.4230/LIPIcs.FSCD.2022.24},
annote = {Keywords: logical framework, type theory, type universes, rewriting}
}
@InProceedings{felicissimo:LIPIcs.FSCD.2022.25,
author = {Felicissimo, Thiago},
title = {{Adequate and Computational Encodings in the Logical Framework Dedukti}},
booktitle = {7th International Conference on Formal Structures for Computation and Deduction (FSCD 2022)},
pages = {25:1--25:18},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-233-4},
ISSN = {1868-8969},
year = {2022},
volume = {228},
editor = {Felty, Amy P.},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.FSCD.2022.25},
URN = {urn:nbn:de:0030-drops-163064},
doi = {10.4230/LIPIcs.FSCD.2022.25},
annote = {Keywords: Type Theory, Logical Frameworks, Rewriting, Dedukti, Pure Type Systems}
}
@InProceedings{aubert_et_al:LIPIcs.FSCD.2022.26,
author = {Aubert, Cl\'{e}ment and Rubiano, Thomas and Rusch, Neea and Seiller, Thomas},
title = {{mwp-Analysis Improvement and Implementation: Realizing Implicit Computational Complexity}},
booktitle = {7th International Conference on Formal Structures for Computation and Deduction (FSCD 2022)},
pages = {26:1--26:23},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-233-4},
ISSN = {1868-8969},
year = {2022},
volume = {228},
editor = {Felty, Amy P.},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.FSCD.2022.26},
URN = {urn:nbn:de:0030-drops-163071},
doi = {10.4230/LIPIcs.FSCD.2022.26},
annote = {Keywords: Static Program Analysis, Implicit Computational Complexity, Automatic Complexity Analysis, Program Verification}
}
@InProceedings{mitterwallner_et_al:LIPIcs.FSCD.2022.27,
author = {Mitterwallner, Fabian and Middeldorp, Aart},
title = {{Polynomial Termination Over \mathbb{N} Is Undecidable}},
booktitle = {7th International Conference on Formal Structures for Computation and Deduction (FSCD 2022)},
pages = {27:1--27:17},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-233-4},
ISSN = {1868-8969},
year = {2022},
volume = {228},
editor = {Felty, Amy P.},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.FSCD.2022.27},
URN = {urn:nbn:de:0030-drops-163081},
doi = {10.4230/LIPIcs.FSCD.2022.27},
annote = {Keywords: Term Rewriting, Polynomial Termination, Undecidability}
}
@InProceedings{shintani_et_al:LIPIcs.FSCD.2022.28,
author = {Shintani, Kiraku and Hirokawa, Nao},
title = {{Compositional Confluence Criteria}},
booktitle = {7th International Conference on Formal Structures for Computation and Deduction (FSCD 2022)},
pages = {28:1--28:19},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-233-4},
ISSN = {1868-8969},
year = {2022},
volume = {228},
editor = {Felty, Amy P.},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.FSCD.2022.28},
URN = {urn:nbn:de:0030-drops-163095},
doi = {10.4230/LIPIcs.FSCD.2022.28},
annote = {Keywords: term rewriting, confluence, decreasing diagrams}
}
@InProceedings{alvarezpicallo_et_al:LIPIcs.FSCD.2022.29,
author = {Alvarez-Picallo, Mario and Ghica, Dan and Sprunger, David and Zanasi, Fabio},
title = {{Rewriting for Monoidal Closed Categories}},
booktitle = {7th International Conference on Formal Structures for Computation and Deduction (FSCD 2022)},
pages = {29:1--29:20},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-233-4},
ISSN = {1868-8969},
year = {2022},
volume = {228},
editor = {Felty, Amy P.},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.FSCD.2022.29},
URN = {urn:nbn:de:0030-drops-163108},
doi = {10.4230/LIPIcs.FSCD.2022.29},
annote = {Keywords: string diagrams, rewriting, hierarchical hypergraph, monoidal closed category}
}
@InProceedings{goncharov_et_al:LIPIcs.FSCD.2022.30,
author = {Goncharov, Sergey and Milius, Stefan and Schr\"{o}der, Lutz and Tsampas, Stelios and Urbat, Henning},
title = {{Stateful Structural Operational Semantics}},
booktitle = {7th International Conference on Formal Structures for Computation and Deduction (FSCD 2022)},
pages = {30:1--30:19},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-233-4},
ISSN = {1868-8969},
year = {2022},
volume = {228},
editor = {Felty, Amy P.},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.FSCD.2022.30},
URN = {urn:nbn:de:0030-drops-163111},
doi = {10.4230/LIPIcs.FSCD.2022.30},
annote = {Keywords: Structural Operational Semantics, Rule Formats, Distributive Laws}
}
@InProceedings{fiore_et_al:LIPIcs.FSCD.2022.31,
author = {Fiore, Marcelo and Galal, Zeinab and Paquet, Hugo},
title = {{A Combinatorial Approach to Higher-Order Structure for Polynomial Functors}},
booktitle = {7th International Conference on Formal Structures for Computation and Deduction (FSCD 2022)},
pages = {31:1--31:19},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-233-4},
ISSN = {1868-8969},
year = {2022},
volume = {228},
editor = {Felty, Amy P.},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.FSCD.2022.31},
URN = {urn:nbn:de:0030-drops-163129},
doi = {10.4230/LIPIcs.FSCD.2022.31},
annote = {Keywords: Bicategorical models, denotational semantics, stable domain theory, linear logic, polynomial functors, species of structures, groupoids}
}
@InProceedings{mcdermott_et_al:LIPIcs.FSCD.2022.32,
author = {McDermott, Dylan and Mycroft, Alan},
title = {{Galois Connecting Call-by-Value and Call-by-Name}},
booktitle = {7th International Conference on Formal Structures for Computation and Deduction (FSCD 2022)},
pages = {32:1--32:19},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-233-4},
ISSN = {1868-8969},
year = {2022},
volume = {228},
editor = {Felty, Amy P.},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.FSCD.2022.32},
URN = {urn:nbn:de:0030-drops-163138},
doi = {10.4230/LIPIcs.FSCD.2022.32},
annote = {Keywords: computational effect, evaluation order, call-by-push-value, categorical semantics}
}
The metadata provided by Dagstuhl Publishing on its webpages, as well as their export formats (such as XML or BibTeX) available at our website, is released under the CC0 1.0 Public Domain Dedication license. That is, you are free to copy, distribute, use, modify, transform, build upon, and produce derived works from our data, even for commercial purposes, all without asking permission. Of course, we are always happy if you provide a link to us as the source of the data.
Read the full CC0 1.0 legal code for the exact terms that apply: https://creativecommons.org/publicdomain/zero/1.0/legalcode
Feedback for Dagstuhl Publishing