Portal - FSCD 2020

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

Ronchi Della Rocca, Simona

Front Matter, Table of Contents, Preface, Conference Organization

Authors: Ariola, Zena M.

Abstract | Document (373 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, Lara

Abstract | Document (592 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, Rose ; Platzer, André

Abstract | Document (652 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

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