FSCD 2020 June 29 to July 6, 2020, Paris, France (Virtual Conference)

5th International Conference on Formal Structures for Computation and Deduction (FSCD 2020)



Zena M. Ariola (Ed.)
ISBN 978-3-95977-155-9, LIPICS Vol. 167 ISSN 1868-8969
Additional Information
License
Conference Website
Complete volume (PDF, 20 MB)
Search Publication Server


Authors
  • Alvarez-Picallo, Mario
  • Aoto, Takahito
  • Ariola, Zena M.
  • Asada, Kazuyuki
  • Bentkamp, Alexander
  • Biernacki, Dariusz
  • Blanqui, Frédéric
  • Bohrer, Brandon
  • Boisseau, Guillaume
  • Brunet, Paul
  • Cerna, David M.
  • Cheney, James
  • Cohen, Cyril
  • Dal Lago, Ugo
  • Das, Ankush
  • DeYoung, Henry
  • Diezel, Tim Lukas
  • Dudenhefner, Andrej
  • Dundua, Besik
  • Erkens, Rick
  • Faggian, Claudia
  • Galal, Zeinab
  • Genestier, Guillaume
  • Goncharov, Sergey
  • Hirschowitz, André
  • Hirschowitz, Tom
  • Hondet, Gabriel
  • Hülsbusch, Mathias
  • Ivašković, Andrej
  • Kaposi, Ambrus
  • Kobayashi, Naoki
  • Kop, Cynthia
  • Kutsia, Temur
  • König, Barbara
  • Küpper, Sebastian
  • Lafont, Ambroise
  • Laveaux, Maurice
  • Lenglet, Sergueï
  • Lin, Yu-Yang
  • Liquori, Luigi
  • Marin, Mircea
  • Melliès, Paul-André
  • Mitani, Yo
  • Mycroft, Alan
  • Nakamura, Yoshiki
  • Nummelin, Visa
  • Ong, C.-H. Luke
  • Orchard, Dominic
  • Pau, Cleopatra
  • Pfenning, Frank
  • Pientka, Brigitte
  • Pitts, Andrew M.
  • Platzer, André
  • Polesiuk, Piotr
  • Pruiksma, Klaas
  • Pym, David
  • Pyzik, Mateusz
  • Ricciotti, Wilmer
  • Rolland, Nicolas
  • Ronchi Della Rocca, Simona
  • Sakaguchi, Kazuhiko
  • Schöpf, Jonas
  • Sieczkowski, Filip
  • Sin'ya, Ryoma
  • Sternagel, Christian
  • Stoltenow, Lars
  • Stolze, Claude
  • Tassi, Enrico
  • Thiemann, René
  • Tsukada, Takeshi
  • Tzevelekos, Nikos
  • von Raumer, Jakob
  • Vukmirović, Petar
  • Xu, Chuangjie
  • Yamada, Akihisa
  • Yamaguchi, Masaomi

  •   
    Front Matter, Table of Contents, Preface, Conference Organization
    Authors: Ariola, Zena M.

    Abstract | Document (359 KB) | BibTeX

    Solvability in a Probabilistic Setting (Invited Talk)
    Authors: Ronchi Della Rocca, Simona ; Dal Lago, Ugo ; Faggian, Claudia

    Abstract | Document (566 KB) | BibTeX

    A Modal Analysis of Metaprogramming, Revisited (Invited Talk)
    Authors: Pientka, Brigitte

    Abstract | Document (262 KB) | BibTeX

    Quotients in Dependent Type Theory (Invited Talk)
    Authors: Pitts, Andrew M.

    Abstract | Document (212 KB) | BibTeX

    Certifying the Weighted Path Order (Invited Talk)
    Authors: Thiemann, René ; Schöpf, Jonas ; Sternagel, Christian ; Yamada, Akihisa

    Abstract | Document (559 KB) | BibTeX

    Efficient Full Higher-Order Unification
    Authors: Vukmirović, Petar ; Bentkamp, Alexander ; Nummelin, Visa

    Abstract | Document (553 KB) | BibTeX

    Comprehension and Quotient Structures in the Language of 2-Categories
    Authors: Melliès, Paul-André ; Rolland, Nicolas

    Abstract | Document (624 KB) | BibTeX

    A Complete Normal-Form Bisimilarity for Algebraic Effects and Handlers
    Authors: Biernacki, Dariusz ; Lenglet, Sergueï ; Polesiuk, Piotr

    Abstract | Document (557 KB) | BibTeX

    Pomsets with Boxes: Protection, Separation, and Locality in Concurrent Kleene Algebra
    Authors: Brunet, Paul ; Pym, David

    Abstract | Document (585 KB) | BibTeX

    Undecidability of Semi-Unification on a Napkin
    Authors: Dudenhefner, Andrej

    Abstract | Document (466 KB) | BibTeX

    Conditional Bisimilarity for Reactive Systems
    Authors: Hülsbusch, Mathias ; König, Barbara ; Küpper, Sebastian ; Stoltenow, Lars

    Abstract | Document (564 KB) | BibTeX

    A Fast Decision Procedure For Uniqueness of Normal Forms w.r.t. Conversion of Shallow Term Rewriting Systems
    Authors: Yamaguchi, Masaomi ; Aoto, Takahito

    Abstract | Document (648 KB) | BibTeX

    Modules over Monads and Operational Semantics
    Authors: Hirschowitz, André ; Hirschowitz, Tom ; Lafont, Ambroise

    Abstract | Document (698 KB) | BibTeX

    Type Safety of Rewrite Rules in Dependent Types
    Authors: Blanqui, Frédéric

    Abstract | Document (499 KB) | BibTeX

    Refining Constructive Hybrid Games
    Authors: Bohrer, Brandon ; Platzer, André

    Abstract | Document (617 KB) | BibTeX

    Data-Flow Analyses as Effects and Graded Monads
    Authors: Ivašković, Andrej ; Mycroft, Alan ; Orchard, Dominic

    Abstract | Document (777 KB) | BibTeX

    A Profunctorial Scott Semantics
    Authors: Galal, Zeinab

    Abstract | Document (601 KB) | BibTeX

    String Diagrams for Optics
    Authors: Boisseau, Guillaume

    Abstract | Document (496 KB) | BibTeX

    A Reflection on Continuation-Composing Style
    Authors: Biernacki, Dariusz ; Pyzik, Mateusz ; Sieczkowski, Filip

    Abstract | Document (468 KB) | BibTeX

    A Probabilistic Higher-Order Fixpoint Logic
    Authors: Mitani, Yo ; Kobayashi, Naoki ; Tsukada, Takeshi

    Abstract | Document (587 KB) | BibTeX

    Adaptive Non-Linear Pattern Matching Automata
    Authors: Erkens, Rick ; Laveaux, Maurice

    Abstract | Document (660 KB) | BibTeX

    On Average-Case Hardness of Higher-Order Model Checking
    Authors: Nakamura, Yoshiki ; Asada, Kazuyuki ; Kobayashi, Naoki ; Sin'ya, Ryoma ; Tsukada, Takeshi

    Abstract | Document (1,147 KB) | BibTeX

    Size-Preserving Translations from Order-(n+1) Word Grammars to Order-n Tree Grammars
    Authors: Asada, Kazuyuki ; Kobayashi, Naoki

    Abstract | Document (610 KB) | BibTeX

    A Syntax for Mutual Inductive Families
    Authors: Kaposi, Ambrus ; von Raumer, Jakob

    Abstract | Document (548 KB) | BibTeX

    Towards Constructive Hybrid Semantics
    Authors: Diezel, Tim Lukas ; Goncharov, Sergey

    Abstract | Document (628 KB) | BibTeX

    A Gentzen-Style Monadic Translation of Gödel’s System T
    Authors: Xu, Chuangjie

    Abstract | Document (506 KB) | BibTeX

    Unital Anti-Unification: Type and Algorithms
    Authors: Cerna, David M. ; Kutsia, Temur

    Abstract | Document (643 KB) | BibTeX

    Symbolic Execution Game Semantics
    Authors: Lin, Yu-Yang ; Tzevelekos, Nikos

    Abstract | Document (713 KB) | BibTeX

    Strongly Normalizing Higher-Order Relational Queries
    Authors: Ricciotti, Wilmer ; Cheney, James

    Abstract | Document (598 KB) | BibTeX

    Semi-Axiomatic Sequent Calculus
    Authors: DeYoung, Henry ; Pfenning, Frank ; Pruiksma, Klaas

    Abstract | Document (600 KB) | BibTeX

    Constraint Solving over Multiple Similarity Relations
    Authors: Dundua, Besik ; Kutsia, Temur ; Marin, Mircea ; Pau, Cleopatra

    Abstract | Document (565 KB) | BibTeX

    Encoding Agda Programs Using Rewriting
    Authors: Genestier, Guillaume

    Abstract | Document (566 KB) | BibTeX

    The Difference λ-Calculus: A Language for Difference Categories
    Authors: Alvarez-Picallo, Mario ; Ong, C.-H. Luke

    Abstract | Document (590 KB) | BibTeX

    Rast: Resource-Aware Session Types with Arithmetic Refinements (System Description)
    Authors: Das, Ankush ; Pfenning, Frank

    Abstract | Document (556 KB) | BibTeX

    Hierarchy Builder: Algebraic hierarchies Made Easy in Coq with Elpi (System Description)
    Authors: Cohen, Cyril ; Sakaguchi, Kazuhiko ; Tassi, Enrico

    Abstract | Document (659 KB) | BibTeX

    The New Rewriting Engine of Dedukti (System Description)
    Authors: Hondet, Gabriel ; Blanqui, Frédéric

    Abstract | Document (532 KB) | BibTeX

    WANDA - a Higher Order Termination Tool (System Description)
    Authors: Kop, Cynthia

    Abstract | Document (671 KB) | BibTeX

    A Type Checker for a Logical Framework with Union and Intersection Types (System Description)
    Authors: Stolze, Claude ; Liquori, Luigi

    Abstract | Document (681 KB) | BibTeX

      




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