Image de couverture de livre

Equivalence of eval-readback and eval-apply big-step evaluators by structuring the lambda-calculus's strategy space

Fuente: arXiv

Enregistré dans:

Détails bibliographiques
Auteurs principaux:	Nogueira, Pablo, García-Pérez, Álvaro
Format:	Preprint
Publié:	2022
Sujets:	Logic in Computer Science
Accès en ligne:	Acceder al recurso
Tags:	Ajouter un tag Pas de tags, Soyez le premier à ajouter un tag!

Documents similaires

A linear linear lambda-calculus
par: Díaz-Caro, Alejandro, et autres
Publié: (2022)

A concrete model for a typed linear algebraic lambda calculus
par: Díaz-Caro, Alejandro, et autres
Publié: (2018)

Profinite trees, through Lawvere theories and the lambda-calculus
par: Moreau, Vincent
Publié: (2024)

An extended type system with lambda-typed lambda-expressions (extended version)
par: Weber, Matthias
Publié: (2018)

Profinite lambda-terms and parametricity
par: van Gool, Sam, et autres
Publié: (2023)

A simple proof of the coincidence of observational and labeled equivalence of processes in applied pi-calculus
par: Mironov, Andrew M.
Publié: (2025)

Meaning and identity of proofs in a bilateralist setting: A two-sorted typed lambda-calculus for proofs and refutations
par: Ayhan, Sara
Publié: (2023)

Substitution in the lambda Calculus and the role of the Curry School
par: Kamareddine, Fairouz
Publié: (2024)

Interpolation for the two-way modal mu-calculus
par: Kloibhofer, Johannes, et autres
Publié: (2025)

Cut-elimination for the alternation-free modal mu-calculus
par: Afshari, Bahareh, et autres
Publié: (2025)

The Constructive $μ$-calculus: Game Semantics and Non-Wellfounded Proof Systems
par: Pacheco, Leonardo
Publié: (2026)

Hypergraph rewriting and Causal structure of $λ-$calculus
par: Bajaj, Utkarsh
Publié: (2024)

The higher dimensional propositional calculus
par: Bucciarelli, Antonio, et autres
Publié: (2022)

Resource approximation for the $λμ$-calculus
par: Barbarossa, Davide
Publié: (2024)

The calculus of neo-Peircean relations
par: Bonchi, Filippo, et autres
Publié: (2025)

An implicit function theorem for the stream calculus
par: Boreale, Michele, et autres
Publié: (2023)

Higher order differential calculus in mathlib
par: Gouëzel, Sébastien
Publié: (2025)

Approximation theory for distant Bang calculus
par: Chardonnet, Kostia, et autres
Publié: (2026)

On the complexity of normalization for the planar $λ$-calculus
par: Das, Anupam, et autres
Publié: (2024)

Simply typed convertibility is TOWER-complete even for safe lambda-terms
par: Nguyên, Lê Thành Dũng
Publié: (2023)

On the cut-elimination of the modal $μ$-calculus: Linear Logic to the rescue
par: Bauer, Esaïe, et autres
Publié: (2025)

Formula size game and model checking for modal substitution calculus
par: Ahvonen, Veeti, et autres
Publié: (2025)

The decohered ZX-calculus
par: Carette, Titouan, et autres
Publié: (2025)

Equivalence and Conditional Independence in Atomic Sheaf Logic
par: Simpson, Alex
Publié: (2024)

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

Case Study: Verified Vampire Proofs in the LambdaPi-calculus Modulo
par: Komel, Anja Petković, et autres
Publié: (2025)

Encoding call-by-push-value in the pi-calculus
par: Bennetzen, Benjamin, et autres
Publié: (2025)

Stuttering Equivalence for Parity Games
par: Cranen, Sjoerd, et autres
Publié: (2011)

A dependently-typed calculus of event telicity and culminativity
par: Kovalev, Pavel, et autres
Publié: (2025)

Graded Monads and Behavioural Equivalence Games
par: Ford, Chase, et autres
Publié: (2022)

Wiring the Pi-calculus to Denotational Semantics
par: Sakayori, Ken, et autres
Publié: (2026)

A Unifying Approach to Probabilistic Testing Equivalences
par: Chen, Weijun, et autres
Publié: (2025)

Towards Term-based Verification of Diagrammatic Equivalence
par: Cailler, Julie, et autres
Publié: (2026)

A unified rule format for bounded nondeterminism in SOS with terms as labels
par: Aceto, Luca, et autres
Publié: (2024)

Towards Counting Markov Equivalence Classes with Logical Constraints
par: Bizzaro, Davide, et autres
Publié: (2024)

Automating Bitvector and Finite Field Equivalence Proofs in Lean
par: Pertseva, Elizaveta, et autres
Publié: (2026)

Realizing the totally unordered structure of ordinals
par: Fontanella, Laura, et autres
Publié: (2025)

Identifying and Explaining (Non-)Equivalence of First-Order Logic Formulas
par: Vehlken, Fabian, et autres
Publié: (2026)

Equilibrium Semantics and Strong Equivalence for Higher-Order Logic Programs
par: Charalambidis, Angelos, et autres
Publié: (2026)

The Implication Problem for Functional Dependencies and Variants of Marginal Distribution Equivalences
par: Hirvonen, Minna
Publié: (2023)