Portal - FSCD 2021

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

Blondeau-Patissier, Lison

Escardó, Martín Hötzel

Grienenberger, Émilie

Larchey-Wendling, Dominique

Nantes-Sobrinho, Daniele

Ronchi Della Rocca, Simona

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

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