FSCD 2022 August 2-5, 2022, Haifa, Israel

7th International Conference on Formal Structures for Computation and Deduction (FSCD 2022)



Amy P. Felty (Ed.)
ISBN 978-3-95977-233-4, LIPICS Vol. 228 ISSN 1868-8969
Additional Information
License
Conference Website
Complete volume (PDF, 12 MB)
Search Publication Server

Authors
  • Acclavio, Matteo
  • Alvarez-Picallo, Mario
  • Aubert, Clément
  • Ayala-Rincón, Mauricio
  • Bessai, Jan
  • Birkedal, Lars
  • Blanqui, Frédéric
  • Chida, Nariyoshi
  • Cohen, Liron
  • Czajka, Lukasz
  • Dagnino, Francesco
  • Dal Lago, Ugo
  • Das, Anupam
  • De, Abhishek
  • Díaz-Caro, Alejandro
  • Dowek, Gilles
  • Dudenhefner, Andrej
  • Erbatur, Serdar
  • Faggian, Claudia
  • Felicissimo, Thiago
  • Felty, Amy P.
  • Fernández, Maribel
  • Fiore, Marcelo
  • Galal, Zeinab
  • Gavazzo, Francesco
  • Ghica, Dan
  • Goncharov, Sergey
  • Gratzer, Daniel
  • Guerrieri, Giulio
  • Harper, Robert
  • Heijltjes, Willem B.
  • Hermes, Marc
  • Hirokawa, Nao
  • Honsell, Furio
  • Horne, Ross
  • Hughes, Dominic J. D.
  • Jeandel, Emmanuel
  • Kesner, Delia
  • Kirst, Dominik
  • Kop, Cynthia
  • Laarmann, Felix
  • Lenisa, Marina
  • Marshall, Andrew M.
  • Mauw, Sjouke
  • McDermott, Dylan
  • Middeldorp, Aart
  • Milius, Stefan
  • Mimram, Samuel
  • Mitterwallner, Fabian
  • Mycroft, Alan
  • Nantes-Sobrinho, Daniele
  • Oleon, Émile
  • Paquet, Hugo
  • Perdrix, Simon
  • Peyrot, Loïc
  • Pfenning, Frank
  • Pistone, Paolo
  • Rahli, Vincent
  • Rehof, Jakob
  • Ringeissen, Christophe
  • Rubiano, Thomas
  • Rusch, Neea
  • Saurin, Alexis
  • Schmidt-Schauß, Manfred
  • Schröder, Lutz
  • Seiller, Thomas
  • Shintani, Kiraku
  • Silva, Gabriel Ferreira
  • Sobrinho, Daniele Nantes
  • Somayyajula, Siva
  • Sprunger, David
  • Sterling, Jonathan
  • Straßburger, Lutz
  • Terauchi, Tachio
  • Tiu, Alwen
  • Tsampas, Stelios
  • Urbat, Henning
  • Veshchezerova, Margarita
  • Zanasi, Fabio
    		•

    		  
    Front Matter, Table of Contents, Preface, Conference Organization
    Authors: Felty, Amy P.

    Abstract | Document (484 KB) | BibTeX

    Cutting a Proof into Bite-Sized Chunks: Incrementally proving termination in higher-order term rewriting (Invited Talk)
    Authors: Kop, Cynthia

    Abstract | Document (880 KB) | BibTeX

    A Methodology for Designing Proof Search Calculi for Non-Classical Logics (Invited Talk)
    Authors: Tiu, Alwen

    Abstract | Document (482 KB) | BibTeX

    A Fibrational Tale of Operational Logical Relations
    Authors: Dagnino, Francesco ; Gavazzo, Francesco

    Abstract | Document (956 KB) | BibTeX

    On Quantitative Algebraic Higher-Order Theories
    Authors: Dal Lago, Ugo ; Honsell, Furio ; Lenisa, Marina ; Pistone, Paolo

    Abstract | Document (802 KB) | BibTeX

    Sheaf Semantics of Termination-Insensitive Noninterference
    Authors: Sterling, Jonathan ; Harper, Robert

    Abstract | Document (953 KB) | BibTeX

    Combined Hierarchical Matching: the Regular Case
    Authors: Erbatur, Serdar ; Marshall, Andrew M. ; Ringeissen, Christophe

    Abstract | Document (791 KB) | BibTeX

    Nominal Anti-Unification with Atom-Variables
    Authors: Schmidt-Schauß, Manfred ; Nantes-Sobrinho, Daniele

    Abstract | Document (903 KB) | BibTeX

    A Certified Algorithm for AC-Unification
    Authors: Ayala-Rincón, Mauricio ; Fernández, Maribel ; Silva, Gabriel Ferreira ; Sobrinho, Daniele Nantes

    Abstract | Document (923 KB) | BibTeX

    An Analysis of Tennenbaum’s Theorem in Constructive Type Theory
    Authors: Hermes, Marc ; Kirst, Dominik

    Abstract | Document (786 KB) | BibTeX

    Constructing Unprejudiced Extensional Type Theories with Choices via Modalities
    Authors: Cohen, Liron ; Rahli, Vincent

    Abstract | Document (1,190 KB) | BibTeX

    Division by Two, in Homotopy Type Theory
    Authors: Mimram, Samuel ; Oleon, Émile

    Abstract | Document (637 KB) | BibTeX

    Type-Based Termination for Futures
    Authors: Somayyajula, Siva ; Pfenning, Frank

    Abstract | Document (854 KB) | BibTeX

    Addition and Differentiation of ZX-Diagrams
    Authors: Jeandel, Emmanuel ; Perdrix, Simon ; Veshchezerova, Margarita

    Abstract | Document (922 KB) | BibTeX

    Restricting Tree Grammars with Term Rewriting
    Authors: Bessai, Jan ; Czajka, Lukasz ; Laarmann, Felix ; Rehof, Jakob

    Abstract | Document (726 KB) | BibTeX

    On Lookaheads in Regular Expressions with Backreferences
    Authors: Chida, Nariyoshi ; Terauchi, Tachio

    Abstract | Document (981 KB) | BibTeX

    Certified Decision Procedures for Two-Counter Machines
    Authors: Dudenhefner, Andrej

    Abstract | Document (816 KB) | BibTeX

    Strategies for Asymptotic Normalization
    Authors: Faggian, Claudia ; Guerrieri, Giulio

    Abstract | Document (1,044 KB) | BibTeX

    Solvability for Generalized Applications
    Authors: Kesner, Delia ; Peyrot, Loïc

    Abstract | Document (977 KB) | BibTeX

    Normalization Without Syntax
    Authors: Heijltjes, Willem B. ; Hughes, Dominic J. D. ; Straßburger, Lutz

    Abstract | Document (812 KB) | BibTeX

    Decision Problems for Linear Logic with Least and Greatest Fixed Points
    Authors: Das, Anupam ; De, Abhishek ; Saurin, Alexis

    Abstract | Document (884 KB) | BibTeX

    Linear Lambda-Calculus is Linear
    Authors: Díaz-Caro, Alejandro ; Dowek, Gilles

    Abstract | Document (727 KB) | BibTeX

    A Graphical Proof Theory of Logical Time
    Authors: Acclavio, Matteo ; Horne, Ross ; Mauw, Sjouke ; Straßburger, Lutz

    Abstract | Document (1,062 KB) | BibTeX

    A Stratified Approach to Löb Induction
    Authors: Gratzer, Daniel ; Birkedal, Lars

    Abstract | Document (971 KB) | BibTeX

    Encoding Type Universes Without Using Matching Modulo Associativity and Commutativity
    Authors: Blanqui, Frédéric

    Abstract | Document (762 KB) | BibTeX

    Adequate and Computational Encodings in the Logical Framework Dedukti
    Authors: Felicissimo, Thiago

    Abstract | Document (925 KB) | BibTeX

    mwp-Analysis Improvement and Implementation: Realizing Implicit Computational Complexity
    Authors: Aubert, Clément ; Rubiano, Thomas ; Rusch, Neea ; Seiller, Thomas

    Abstract | Document (958 KB) | BibTeX

    Polynomial Termination Over ℕ Is Undecidable
    Authors: Mitterwallner, Fabian ; Middeldorp, Aart

    Abstract | Document (761 KB) | BibTeX

    Compositional Confluence Criteria
    Authors: Shintani, Kiraku ; Hirokawa, Nao

    Abstract | Document (826 KB) | BibTeX

    Rewriting for Monoidal Closed Categories
    Authors: Alvarez-Picallo, Mario ; Ghica, Dan ; Sprunger, David ; Zanasi, Fabio

    Abstract | Document (825 KB) | BibTeX

    Stateful Structural Operational Semantics
    Authors: Goncharov, Sergey ; Milius, Stefan ; Schröder, Lutz ; Tsampas, Stelios ; Urbat, Henning

    Abstract | Document (810 KB) | BibTeX

    A Combinatorial Approach to Higher-Order Structure for Polynomial Functors
    Authors: Fiore, Marcelo ; Galal, Zeinab ; Paquet, Hugo

    Abstract | Document (905 KB) | BibTeX

    Galois Connecting Call-by-Value and Call-by-Name
    Authors: McDermott, Dylan ; Mycroft, Alan

    Abstract | Document (882 KB) | BibTeX

    		  



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