Tuple Interpretations for Higher-Order Complexity (English)
Free access
- New search for: Kop, Cynthia
- Further information on Kop, Cynthia:
- https://orcid.org/0000-0002-6337-2544
- New search for: Vale, Deivid
- Further information on Vale, Deivid:
- https://orcid.org/0000-0003-1350-3478
- New search for: Kop, Cynthia
- Further information on Kop, Cynthia:
- https://orcid.org/0000-0002-6337-2544
- New search for: Vale, Deivid
- Further information on Vale, Deivid:
- https://orcid.org/0000-0003-1350-3478
- New search for: Kobayashi, Naoki
- Further information on Kobayashi, Naoki:
- https://orcid.org/0000-0002-0537-0604
In:
LIPIcs, Volume 195, FSCD 2021
: 6th International Conference on Formal Structures for Computation and Deduction (FSCD 2021)
;
195
;
31:1-31:22
;
2021
-
ISBN:
-
ISSN:
- Conference paper / Electronic Resource
-
Title:Tuple Interpretations for Higher-Order Complexity
-
Contributors:
-
Published in:LIPIcs, Volume 195, FSCD 2021 : 6th International Conference on Formal Structures for Computation and Deduction (FSCD 2021) ; 195 ; 31:1-31:22Leibniz International Proceedings in Informatics (LIPIcs) ; 195 ; 31:1-31:22
-
Publisher:
- New search for: Schloss Dagstuhl – Leibniz-Zentrum für Informatik
-
Publication date:2021-07-06
-
Size:22 pages , 905181 byte
-
Remarks:LIPIcs, Vol. 195, 6th International Conference on Formal Structures for Computation and Deduction (FSCD 2021), pages 31:1-31:22
-
ISBN:
-
ISSN:
-
DOI:
-
Type of media:Conference paper
-
Type of material:Electronic Resource
-
Language:English
-
Keywords:
-
Licence:
-
Source:
Table of contents conference proceedings
The tables of contents are generated automatically and are based on the data records of the individual contributions available in the index of the TIB portal. The display of the Tables of Contents may therefore be incomplete.
- 1
-
Duality in Action (Invited Talk)Downen, Paul / Ariola, Zena M. et al. | 2021
- 2
-
Completion and Reduction Orders (Invited Talk)Hirokawa, Nao et al. | 2021
- 3
-
Process-As-Formula Interpretation: A Substructural Multimodal View (Invited Talk)Pimentel, Elaine / Olarte, Carlos / Nigam, Vivek et al. | 2021
- 4
-
Some Formal Structures in Probability (Invited Talk)Staton, Sam et al. | 2021
- 5
-
The Expressive Power of One Variable Used Once: The Chomsky Hierarchy and First-Order Monadic Constructor RewritingSimonsen, Jakob Grue et al. | 2021
- 6
-
Church’s Semigroup Is Sq-UniversalStatman, Rick et al. | 2021
- 7
-
Call-By-Value, Again!Kerinec, Axel / Manzonetto, Giulio / Ronchi Della Rocca, Simona et al. | 2021
- 8
-
Predicative Aspects of Order Theory in Univalent Foundationsde Jong, Tom / Escardó, Martín Hötzel et al. | 2021
- 9
-
A Strong Call-By-Need CalculusBalabonski, Thibaut / Lanco, Antoine / Melquiond, Guillaume et al. | 2021
- 10
-
A Bicategorical Model for Finite NondeterminismGalal, Zeinab et al. | 2021
- 11
-
Failure of Cut-Elimination in the Cyclic Proof System of Bunched Logic with Inductive PropositionsSaotome, Kenji / Nakazawa, Koji / Kimura, Daisuke et al. | 2021
- 12
-
A Functional Abstraction of Typed Invocation ContextsCong, Youyou / Ishio, Chiaki / Honda, Kaho / Asai, Kenichi et al. | 2021
- 13
-
Beth Semantics and Labelled Deduction for Intuitionistic Sentential Calculus with IdentityGalmiche, Didier / Gawek, Marta / Méry, Daniel et al. | 2021
- 14
-
New Minimal Linear Inferences in Boolean Logic Independent of Switch and MedialDas, Anupam / Rice, Alex A. et al. | 2021
- 15
-
A Modular Associative Commutative (AC) Congruence Closure AlgorithmKapur, Deepak et al. | 2021
- 16
-
Derivation of a Virtual Machine For Four Variants of Delimited-Control OperatorsFujii, Maika / Asai, Kenichi et al. | 2021
- 17
-
Positional Injectivity for Innocent StrategiesBlondeau-Patissier, Lison / Clairambault, Pierre et al. | 2021
- 18
-
Synthetic Undecidability of MSELL via FRACTRAN Mechanised in CoqLarchey-Wendling, Dominique et al. | 2021
- 19
-
An RPO-Based Ordering Modulo Permutation Equations and Its Applications to Rewrite SystemsKim, Dohan / Lynch, Christopher et al. | 2021
- 20
-
Some Axioms for MathematicsBlanqui, Frédéric / Dowek, Gilles / Grienenberger, Émilie / Hondet, Gabriel / Thiré, François et al. | 2021
- 21
-
Non-Deterministic Functions as Non-Deterministic ProcessesPaulus, Joseph W. N. / Nantes-Sobrinho, Daniele / Pérez, Jorge A. et al. | 2021
- 22
-
Type-Theoretic Constructions of the Final Coalgebra of the Finite Powerset FunctorVeltri, Niccolò et al. | 2021
- 23
-
Resource Transition Systems and Full Abstraction for Linear Higher-Order Effectful ProgramsDal Lago, Ugo / Gavazzo, Francesco et al. | 2021
- 24
-
Z; Syntax-Free Developmentsvan Oostrom, Vincent et al. | 2021
- 25
-
Recursion and Sequentiality in Categories of SheavesMatache, Cristina / Moss, Sean / Staton, Sam et al. | 2021
- 26
-
Polymorphic Automorphisms and the Picard GroupHofstra, Pieter / Parker, Jason / Scott, Philip J. et al. | 2021
- 27
-
What’s Decidable About (Atomic) Polymorphism?Pistone, Paolo / Tranchini, Luca et al. | 2021
- 28
-
Coalgebra Encoding for Efficient MinimizationDeifel, Hans-Peter / Milius, Stefan / Wißmann, Thorsten et al. | 2021
- 29
-
On the Logical Strength of Confluence and Normalisation for Cyclic ProofsDas, Anupam et al. | 2021
- 30
-
Abstract Clones for Abstract SyntaxArkor, Nathanael / McDermott, Dylan et al. | 2021
- 31
-
Tuple Interpretations for Higher-Order ComplexityKop, Cynthia / Vale, Deivid et al. | 2021
- 32
-
Output Without Delay: A π-Calculus Compatible with Categorical SemanticsSakayori, Ken / Tsukada, Takeshi et al. | 2021