FSCD 2021 July 17-24, 2021, Buenos Aires, Argentina (Virtual Conference)

6th International Conference on Formal Structures for Computation and Deduction (FSCD 2021)



Naoki Kobayashi (Ed.)
ISBN 978-3-95977-191-7, LIPICS Vol. 195 ISSN 1868-8969
Additional Information
License
Conference Website
Complete volume (PDF, 14 MB)
Search Publication Server


Authors
  • Ariola, Zena M.
  • Arkor, Nathanael
  • Asai, Kenichi
  • Balabonski, Thibaut
  • Blanqui, Frédéric
  • Blondeau-Patissier, Lison
  • Clairambault, Pierre
  • Cong, Youyou
  • Dal Lago, Ugo
  • Das, Anupam
  • Deifel, Hans-Peter
  • de Jong, Tom
  • Dowek, Gilles
  • Downen, Paul
  • Escardó, Martín Hötzel
  • Fujii, Maika
  • Galal, Zeinab
  • Galmiche, Didier
  • Gavazzo, Francesco
  • Gawek, Marta
  • Grienenberger, Émilie
  • Hirokawa, Nao
  • Hofstra, Pieter
  • Honda, Kaho
  • Hondet, Gabriel
  • Ishio, Chiaki
  • Kapur, Deepak
  • Kerinec, Axel
  • Kim, Dohan
  • Kimura, Daisuke
  • Kobayashi, Naoki
  • Kop, Cynthia
  • Lanco, Antoine
  • Larchey-Wendling, Dominique
  • Lynch, Christopher
  • Manzonetto, Giulio
  • Matache, Cristina
  • McDermott, Dylan
  • Melquiond, Guillaume
  • Méry, Daniel
  • Milius, Stefan
  • Moss, Sean
  • Nakazawa, Koji
  • Nantes-Sobrinho, Daniele
  • Nigam, Vivek
  • Olarte, Carlos
  • Parker, Jason
  • Paulus, Joseph W. N.
  • Pérez, Jorge A.
  • Pimentel, Elaine
  • Pistone, Paolo
  • Rice, Alex A.
  • Ronchi Della Rocca, Simona
  • Sakayori, Ken
  • Saotome, Kenji
  • Scott, Philip J.
  • Simonsen, Jakob Grue
  • Statman, Rick
  • Staton, Sam
  • Thiré, François
  • Tranchini, Luca
  • Tsukada, Takeshi
  • Vale, Deivid
  • van Oostrom, Vincent
  • Veltri, Niccolò
  • Wißmann, Thorsten

  •   
    Front Matter, Table of Contents, Preface, Conference Organization
    Authors: Kobayashi, Naoki

    Abstract | Document (551 KB) | BibTeX

    Duality in Action (Invited Talk)
    Authors: Downen, Paul ; Ariola, Zena M.

    Abstract | Document (3,263 KB) | BibTeX

    Completion and Reduction Orders (Invited Talk)
    Authors: Hirokawa, Nao

    Abstract | Document (650 KB) | BibTeX

    Process-As-Formula Interpretation: A Substructural Multimodal View (Invited Talk)
    Authors: Pimentel, Elaine ; Olarte, Carlos ; Nigam, Vivek

    Abstract | Document (977 KB) | BibTeX

    Some Formal Structures in Probability (Invited Talk)
    Authors: Staton, Sam

    Abstract | Document (1,547 KB) | BibTeX

    The Expressive Power of One Variable Used Once: The Chomsky Hierarchy and First-Order Monadic Constructor Rewriting
    Authors: Simonsen, Jakob Grue

    Abstract | Document (694 KB) | BibTeX

    Church’s Semigroup Is Sq-Universal
    Authors: Statman, Rick

    Abstract | Document (434 KB) | BibTeX

    Call-By-Value, Again!
    Authors: Kerinec, Axel ; Manzonetto, Giulio ; Ronchi Della Rocca, Simona

    Abstract | Document (774 KB) | BibTeX

    Predicative Aspects of Order Theory in Univalent Foundations
    Authors: de Jong, Tom ; Escardó, Martín Hötzel

    Abstract | Document (786 KB) | BibTeX

    A Strong Call-By-Need Calculus
    Authors: Balabonski, Thibaut ; Lanco, Antoine ; Melquiond, Guillaume

    Abstract | Document (795 KB) | BibTeX

    A Bicategorical Model for Finite Nondeterminism
    Authors: Galal, Zeinab

    Abstract | Document (675 KB) | BibTeX

    Failure of Cut-Elimination in the Cyclic Proof System of Bunched Logic with Inductive Propositions
    Authors: Saotome, Kenji ; Nakazawa, Koji ; Kimura, Daisuke

    Abstract | Document (633 KB) | BibTeX

    A Functional Abstraction of Typed Invocation Contexts
    Authors: Cong, Youyou ; Ishio, Chiaki ; Honda, Kaho ; Asai, Kenichi

    Abstract | Document (866 KB) | BibTeX

    Beth Semantics and Labelled Deduction for Intuitionistic Sentential Calculus with Identity
    Authors: Galmiche, Didier ; Gawek, Marta ; Méry, Daniel

    Abstract | Document (806 KB) | BibTeX

    New Minimal Linear Inferences in Boolean Logic Independent of Switch and Medial
    Authors: Das, Anupam ; Rice, Alex A.

    Abstract | Document (875 KB) | BibTeX

    A Modular Associative Commutative (AC) Congruence Closure Algorithm
    Authors: Kapur, Deepak

    Abstract | Document (695 KB) | BibTeX

    Derivation of a Virtual Machine For Four Variants of Delimited-Control Operators
    Authors: Fujii, Maika ; Asai, Kenichi

    Abstract | Document (625 KB) | BibTeX

    Positional Injectivity for Innocent Strategies
    Authors: Blondeau-Patissier, Lison ; Clairambault, Pierre

    Abstract | Document (916 KB) | BibTeX

    Synthetic Undecidability of MSELL via FRACTRAN Mechanised in Coq
    Authors: Larchey-Wendling, Dominique

    Abstract | Document (901 KB) | BibTeX

    An RPO-Based Ordering Modulo Permutation Equations and Its Applications to Rewrite Systems
    Authors: Kim, Dohan ; Lynch, Christopher

    Abstract | Document (652 KB) | BibTeX

    Some Axioms for Mathematics
    Authors: Blanqui, Frédéric ; Dowek, Gilles ; Grienenberger, Émilie ; Hondet, Gabriel ; Thiré, François

    Abstract | Document (791 KB) | BibTeX

    Non-Deterministic Functions as Non-Deterministic Processes
    Authors: Paulus, Joseph W. N. ; Nantes-Sobrinho, Daniele ; Pérez, Jorge A.

    Abstract | Document (928 KB) | BibTeX

    Type-Theoretic Constructions of the Final Coalgebra of the Finite Powerset Functor
    Authors: Veltri, Niccolò

    Abstract | Document (849 KB) | BibTeX

    Resource Transition Systems and Full Abstraction for Linear Higher-Order Effectful Programs
    Authors: Dal Lago, Ugo ; Gavazzo, Francesco

    Abstract | Document (886 KB) | BibTeX

    Z; Syntax-Free Developments
    Authors: van Oostrom, Vincent

    Abstract | Document (875 KB) | BibTeX

    Recursion and Sequentiality in Categories of Sheaves
    Authors: Matache, Cristina ; Moss, Sean ; Staton, Sam

    Abstract | Document (763 KB) | BibTeX

    Polymorphic Automorphisms and the Picard Group
    Authors: Hofstra, Pieter ; Parker, Jason ; Scott, Philip J.

    Abstract | Document (762 KB) | BibTeX

    What’s Decidable About (Atomic) Polymorphism?
    Authors: Pistone, Paolo ; Tranchini, Luca

    Abstract | Document (926 KB) | BibTeX

    Coalgebra Encoding for Efficient Minimization
    Authors: Deifel, Hans-Peter ; Milius, Stefan ; Wißmann, Thorsten

    Abstract | Document (808 KB) | BibTeX

    On the Logical Strength of Confluence and Normalisation for Cyclic Proofs
    Authors: Das, Anupam

    Abstract | Document (908 KB) | BibTeX

    Abstract Clones for Abstract Syntax
    Authors: Arkor, Nathanael ; McDermott, Dylan

    Abstract | Document (886 KB) | BibTeX

    Tuple Interpretations for Higher-Order Complexity
    Authors: Kop, Cynthia ; Vale, Deivid

    Abstract | Document (884 KB) | BibTeX

    Output Without Delay: A π-Calculus Compatible with Categorical Semantics
    Authors: Sakayori, Ken ; Tsukada, Takeshi

    Abstract | Document (939 KB) | BibTeX

      




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