Imagen de Portada

A Faithful and Quantitative Notion of Distant Reduction for the Lambda-Calculus with Generalized Applications

Fuente: arXiv

Guardado en:

Detalles Bibliográficos
Autores principales:	Santo, José Espírito, Kesner, Delia, Peyrot, Loïc
Formato:	Preprint
Publicado:	2022
Materias:	Logic in Computer Science
Acceso en línea:	Acceder al recurso
Etiquetas:	Agregar Etiqueta Sin Etiquetas, Sea el primero en etiquetar este registro!

Ejemplares similares

Node Replication: Theory And Practice
por: Kesner, Delia, et al.
Publicado: (2022)

A Strong Bisimulation for a Classical Term Calculus
por: Bonelli, Eduardo, et al.
Publicado: (2021)

How to avoid the commuting conversions of IPC
por: Santo, José Espírito, et al.
Publicado: (2024)

Groups and Inverse Semigroups in Lambda Calculus
por: Bucciarelli, Antonio, et al.
Publicado: (2026)

A Rewriting Theory for Quantum Lambda-Calculus
por: Faggian, Claudia, et al.
Publicado: (2024)

Meaningfulness and Genericity in a Subsuming Framework
por: Kesner, Delia, et al.
Publicado: (2024)

The Benefits of Diligence
por: Arrial, Victor, et al.
Publicado: (2024)

An Unconventional View on Beta-Reduction in Namefree Lambda-Calculus
por: Nederpelt, Rob, et al.
Publicado: (2026)

The Lambda Calculus is Quantifiable
por: Maestracci, Valentin, et al.
Publicado: (2024)

Variable Elimination as Rewriting in a Linear Lambda Calculus
por: Ehrhard, Thomas, et al.
Publicado: (2025)

Extending the Quantitative Pattern-Matching Paradigm
por: Alves, Sandra, et al.
Publicado: (2024)

A Typed Lambda-Calculus for Establishing Trust in Probabilistic Programs
por: Genco, Francesco A., et al.
Publicado: (2023)

Hybrid Intersection Types for PCF (Extended Version)
por: Barenbaum, Pablo, et al.
Publicado: (2024)

Useful Evaluation: Syntax and Semantics (Technical Report)
por: Barenbaum, Pablo, et al.
Publicado: (2024)

One or Nothing: Anti-unification over the Simply-Typed Lambda Calculus
por: Cerna, David M., et al.
Publicado: (2022)

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

On Decidable and Undecidable Extensions of Simply Typed Lambda Calculus
por: Kobayashi, Naoki
Publicado: (2024)

A Quantum-Control Lambda-Calculus with Multiple Measurement Bases
por: Díaz-Caro, Alejandro, et al.
Publicado: (2025)

Coinductive proof search for polarized logic with applications to full intuitionistic propositional logic
por: Santo, José Espírito, et al.
Publicado: (2020)

Interpreting Lambda Calculus in Domain-Valued Random Variables
por: Furber, Robert, et al.
Publicado: (2021)

(Towards a) Statistical Probabilistic Lazy Lambda Calculus
por: Jagadeesan, Radha
Publicado: (2024)

Quantitative Types for the Functional Machine Calculus
por: Heijltjes, Willem
Publicado: (2025)

Bridging Computational Notions of Depth
por: Bienvenu, Laurent, et al.
Publicado: (2024)

The Cost of Skeletal Call-by-Need, Smoothly
por: Accattoli, Beniamino, et al.
Publicado: (2025)

Bidirectional Interpolation for the Lambda-Calculus -- Revisiting and Formalising Craig-Čubrić Interpolation
por: Bertrand, Meven Lennon, et al.
Publicado: (2026)

Problems and Consequences of Bilateral Notions of (Meta-)Derivability
por: Ayhan, Sara
Publicado: (2025)

Genericity Through Stratification
por: Arrial, Victor, et al.
Publicado: (2024)

Relators and Notions of Simulation Revisited
por: Goncharov, Sergey, et al.
Publicado: (2025)

Adding Negation to Lambda Mu
por: van Bakel, Steffen
Publicado: (2021)

Complete and Terminating Tableau Calculus for Undirected Graph
por: Nishimura, Yuki, et al.
Publicado: (2024)

A Cut-free Sequent Calculus for Basic Intuitionistic Dynamic Topological Logic
por: Tabatabai, Amirhossein Akbar, et al.
Publicado: (2025)

The Flower Calculus
por: Donato, Pablo
Publicado: (2024)

Intersection Types for a Computational Lambda-Calculus with Global State
por: de'Liguoro, Ugo, et al.
Publicado: (2021)

Knowledge Problems in Protocol Analysis: Extending the Notion of Subterm Convergent
por: Bunch, Carter, et al.
Publicado: (2024)

Compiling Quantum Lambda-Terms into Circuits via the Geometry of Interaction
por: Chardonnet, Kostia, et al.
Publicado: (2026)

The Tensor-Plus Calculus
por: Chardonnet, Kostia, et al.
Publicado: (2025)

An Algebraic Notion of Conditional Independence, and Its Application to Knowledge Representation (full version)
por: Heyninck, Jesse
Publicado: (2024)

Lax Modal Lambda Calculi
por: Valliappan, Nachiappan
Publicado: (2025)

Case Study: Verified Vampire Proofs in the LambdaPi-calculus Modulo
por: Komel, Anja Petković, et al.
Publicado: (2025)

A Sequent Calculus For Trace Formula Implication
por: Heidler, Niklas, et al.
Publicado: (2025)