Cover Image

On the algorithmic structure of Dialectica realisers

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Barbarossa, Davide, Powell, Thomas
Format:	Preprint
Published:	2025
Subjects:	Logic in Computer Science
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

An excursion into Dialectica and Differentiation
by: Barbarossa, Davide
Published: (2024)

Denotational semantics driven simplicial homology?
by: Barbarossa, Davide
Published: (2024)

Resource approximation for the $λμ$-calculus
by: Barbarossa, Davide
Published: (2024)

Stability Property for the Call-by-Value $λ$-calculus through Taylor Expansion
by: Barbarossa, Davide
Published: (2024)

Tropical Mathematics and the Lambda-Calculus II: Tropical Geometry of Probabilistic Programming Languages
by: Barbarossa, Davide, et al.
Published: (2025)

Proofs as stateful programs: A first-order logic with abstract Hoare triples, and an interpretation into an imperative language
by: Powell, Thomas
Published: (2023)

An approximate zero-one law via the Dialectica interpretation
by: Powell, Thomas, et al.
Published: (2025)

An order out of nowhere: a new algorithm for infinite-domain CSPs
by: Mottet, Antoine, et al.
Published: (2023)

Realizing the totally unordered structure of ordinals
by: Fontanella, Laura, et al.
Published: (2025)

Basic interactive algorithms: Preview
by: Gurevich, Yuri
Published: (2025)

An Abstract Account of Up-to Techniques for Inductive Behavioural Relations
by: Sangiorgi, Davide
Published: (2024)

On the logical structure of some maximality and well-foundedness principles equivalent to choice principles
by: Herbelin, Hugo
Published: (2024)

Abstract computation over first-order structures. Part IIa: Moschovakis' operator and other non-determinisms
by: Gaßner, Christine
Published: (2025)

Abstract computation over first-order structures. Part IIb: Moschovakis' operator and other non-determinisms
by: Gaßner, Christine
Published: (2025)

Abstract computation over first-order structures. Part I: Deterministic and non-deterministic BSS RAMs
by: Gaßner, Christine
Published: (2025)

Topologically valued transition structures
by: Collinson, Matthew
Published: (2026)

Existential and positive games: a comonadic and axiomatic view
by: Abramsky, Samson, et al.
Published: (2025)

Consistent Update Synthesis via Privatized Beliefs
by: Schlögl, Thomas, et al.
Published: (2024)

Local structure of idempotent algebras I
by: Bulatov, Andrei A.
Published: (2020)

Stabilized profunctors and stable species of structures
by: Fiore, Marcelo, et al.
Published: (2023)

Modal Logic for Reasoning About Uncertainty and Confusion
by: Bílková, Marta, et al.
Published: (2025)

Algebraic and algorithmic synergies between promise and infinite-domain CSPs
by: Mottet, Antoine
Published: (2025)

The equivariant model structure on cartesian cubical sets
by: Awodey, Steve, et al.
Published: (2024)

First-order store and visibility in name-passing calculi
by: Hirschkoff, Daniel, et al.
Published: (2025)

Towards Counting Markov Equivalence Classes with Logical Constraints
by: Bizzaro, Davide, et al.
Published: (2024)

When are two algorithms the same? Towards addressing Hilbert's 24th problem
by: Doubrovinski, Konstantin
Published: (2025)

Singleton algorithms for the Constraint Satisfaction Problem
by: Zhuk, Dmitriy
Published: (2025)

A simpler O(m log n) algorithm for branching bisimilarity on labelled transition systems
by: Jansen, David N., et al.
Published: (2019)

A quantitative probabilistic relational Hoare logic
by: Avanzini, Martin, et al.
Published: (2024)

The unstable formula theorem revisited via algorithms
by: Malliaris, Maryanthe, et al.
Published: (2022)

How (and when) can you fit examples to logic-based hypothesis classes over infinite structures?
by: Benedikt, Michael, et al.
Published: (2026)

Sequent Calculi for Data-Aware Modal Logics
by: Areces, Carlos, et al.
Published: (2025)

On the logical structure of choice and bar induction principles
by: Brede, Nuria, et al.
Published: (2021)

On first-order definable operations on relational structures
by: Courcelle, Bruno
Published: (2026)

Explanations for Unrealizability of Infinite-State Safety Shields
by: Rodriguez, Andoni, et al.
Published: (2025)

Characterizations of monadically dependent tree-ordered weakly sparse structures
by: Buffière, Hector, et al.
Published: (2026)

Universal quantification makes automatic structures hard to decide
by: Haase, Christoph, et al.
Published: (2023)

The very dependent recursive structure of iterated parametricity in indexed form
by: Herbelin, Hugo, et al.
Published: (2026)

Global types and event structure semantics for asynchronous multiparty sessions
by: Castellani, Ilaria, et al.
Published: (2021)

Model-checking positive equality free logic on a fixed structure (direttissima)
by: Bodirsky, Manuel, et al.
Published: (2024)