LIPIcs, Volume 167, FSCD 2020

• Zena M. Ariola LIPIcs, Volume 167, FSCD 2020, Complete Volume 10.4230/LIPIcs.FSCD.2020
• Zena M. Ariola Front Matter, Table of Contents, Preface, Conference Organization 10.4230/LIPIcs.FSCD.2020.0
• Simona Ronchi Della Rocca, Ugo Dal Lago, and Claudia Faggian Solvability in a Probabilistic Setting (Invited Talk) 10.4230/LIPIcs.FSCD.2020.1
• Brigitte Pientka A Modal Analysis of Metaprogramming, Revisited (Invited Talk) 10.4230/LIPIcs.FSCD.2020.2
• Andrew M. Pitts Quotients in Dependent Type Theory (Invited Talk) 10.4230/LIPIcs.FSCD.2020.3
• René Thiemann, Jonas Schöpf, Christian Sternagel, and Akihisa Yamada Certifying the Weighted Path Order (Invited Talk) 10.4230/LIPIcs.FSCD.2020.4
• Petar Vukmirović, Alexander Bentkamp, and Visa Nummelin Efficient Full Higher-Order Unification 10.4230/LIPIcs.FSCD.2020.5
• Paul-André Melliès and Nicolas Rolland Comprehension and Quotient Structures in the Language of 2-Categories 10.4230/LIPIcs.FSCD.2020.6
• Dariusz Biernacki, Sergueï Lenglet, and Piotr Polesiuk A Complete Normal-Form Bisimilarity for Algebraic Effects and Handlers 10.4230/LIPIcs.FSCD.2020.7
• Paul Brunet and David Pym Pomsets with Boxes: Protection, Separation, and Locality in Concurrent Kleene Algebra 10.4230/LIPIcs.FSCD.2020.8
• Andrej Dudenhefner Undecidability of Semi-Unification on a Napkin 10.4230/LIPIcs.FSCD.2020.9
• Mathias Hülsbusch, Barbara König, Sebastian Küpper, and Lara Stoltenow Conditional Bisimilarity for Reactive Systems 10.4230/LIPIcs.FSCD.2020.10
• Masaomi Yamaguchi and Takahito Aoto A Fast Decision Procedure For Uniqueness of Normal Forms w.r.t. Conversion of Shallow Term Rewriting Systems 10.4230/LIPIcs.FSCD.2020.11
• André Hirschowitz, Tom Hirschowitz, and Ambroise Lafont Modules over Monads and Operational Semantics 10.4230/LIPIcs.FSCD.2020.12
• Frédéric Blanqui Type Safety of Rewrite Rules in Dependent Types 10.4230/LIPIcs.FSCD.2020.13
• Rose Bohrer and André Platzer Refining Constructive Hybrid Games 10.4230/LIPIcs.FSCD.2020.14
• Andrej Ivašković, Alan Mycroft, and Dominic Orchard Data-Flow Analyses as Effects and Graded Monads 10.4230/LIPIcs.FSCD.2020.15
• Zeinab Galal A Profunctorial Scott Semantics 10.4230/LIPIcs.FSCD.2020.16
• Guillaume Boisseau String Diagrams for Optics 10.4230/LIPIcs.FSCD.2020.17
• Dariusz Biernacki, Mateusz Pyzik, and Filip Sieczkowski A Reflection on Continuation-Composing Style 10.4230/LIPIcs.FSCD.2020.18
• Yo Mitani, Naoki Kobayashi, and Takeshi Tsukada A Probabilistic Higher-Order Fixpoint Logic 10.4230/LIPIcs.FSCD.2020.19
• Rick Erkens and Maurice Laveaux Adaptive Non-Linear Pattern Matching Automata 10.4230/LIPIcs.FSCD.2020.20
• Yoshiki Nakamura, Kazuyuki Asada, Naoki Kobayashi, Ryoma Sin'ya, and Takeshi Tsukada On Average-Case Hardness of Higher-Order Model Checking 10.4230/LIPIcs.FSCD.2020.21
• Kazuyuki Asada and Naoki Kobayashi Size-Preserving Translations from Order-(n+1) Word Grammars to Order-n Tree Grammars 10.4230/LIPIcs.FSCD.2020.22
• Ambrus Kaposi and Jakob von Raumer A Syntax for Mutual Inductive Families 10.4230/LIPIcs.FSCD.2020.23
• Tim Lukas Diezel and Sergey Goncharov Towards Constructive Hybrid Semantics 10.4230/LIPIcs.FSCD.2020.24
• Chuangjie Xu A Gentzen-Style Monadic Translation of Gödel’s System T 10.4230/LIPIcs.FSCD.2020.25
• David M. Cerna and Temur Kutsia Unital Anti-Unification: Type and Algorithms 10.4230/LIPIcs.FSCD.2020.26
• Yu-Yang Lin and Nikos Tzevelekos Symbolic Execution Game Semantics 10.4230/LIPIcs.FSCD.2020.27
• Wilmer Ricciotti and James Cheney Strongly Normalizing Higher-Order Relational Queries 10.4230/LIPIcs.FSCD.2020.28
• Henry DeYoung, Frank Pfenning, and Klaas Pruiksma Semi-Axiomatic Sequent Calculus 10.4230/LIPIcs.FSCD.2020.29
• Besik Dundua, Temur Kutsia, Mircea Marin, and Cleopatra Pau Constraint Solving over Multiple Similarity Relations 10.4230/LIPIcs.FSCD.2020.30
• Guillaume Genestier Encoding Agda Programs Using Rewriting 10.4230/LIPIcs.FSCD.2020.31
• Mario Alvarez-Picallo and C.-H. Luke Ong The Difference λ-Calculus: A Language for Difference Categories 10.4230/LIPIcs.FSCD.2020.32
• Ankush Das and Frank Pfenning Rast: Resource-Aware Session Types with Arithmetic Refinements (System Description) 10.4230/LIPIcs.FSCD.2020.33
• Cyril Cohen, Kazuhiko Sakaguchi, and Enrico Tassi Hierarchy Builder: Algebraic hierarchies Made Easy in Coq with Elpi (System Description) 10.4230/LIPIcs.FSCD.2020.34
• Gabriel Hondet and Frédéric Blanqui The New Rewriting Engine of Dedukti (System Description) 10.4230/LIPIcs.FSCD.2020.35
• Cynthia Kop WANDA - a Higher Order Termination Tool (System Description) 10.4230/LIPIcs.FSCD.2020.36
• Claude Stolze and Luigi Liquori A Type Checker for a Logical Framework with Union and Intersection Types (System Description) 10.4230/LIPIcs.FSCD.2020.37