Cover Image

Variable Elimination as Rewriting in a Linear Lambda Calculus

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Ehrhard, Thomas, Faggian, Claudia, Pagani, Michele
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

Bayesian Networks and Proof-Nets: a proof-theoretical account of Bayesian Inference
by: Ehrhard, Thomas, et al.
Published: (2024)

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

Quantum Bayesian Networks: Compositionality and Typing via Linear Logic
by: Di Guardia, Rémi, et al.
Published: (2026)

Bayesian Networks and Proof-Nets: the proof-theory of Bayesian Inference
by: Di Guardia, Rémi, et al.
Published: (2026)

From Differential Linear Logic to Coherent Differentiation
by: Ehrhard, Thomas
Published: (2024)

A coherent differential PCF
by: Ehrhard, Thomas
Published: (2022)

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

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

Coherent Taylor expansion as a bimonad
by: Ehrhard, Thomas, et al.
Published: (2023)

The Lambda Calculus is Quantifiable
by: Maestracci, Valentin, et al.
Published: (2024)

Integration in Cones
by: Ehrhard, Thomas, et al.
Published: (2022)

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

From Rewrite Rules to Axioms in the $λ$$Π$-Calculus Modulo Theory
by: Blot, Valentin, et al.
Published: (2024)

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

JAX Autodiff from a Linear Logic Perspective (Extended Version)
by: Giusti, Giulia, et al.
Published: (2025)

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

A Faithful and Quantitative Notion of Distant Reduction for the Lambda-Calculus with Generalized Applications
by: Santo, José Espírito, et al.
Published: (2022)

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

(Towards a) Statistical Probabilistic Lazy Lambda Calculus
by: Jagadeesan, Radha
Published: (2024)

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

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

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

Compression for Coinductive Infinitary Rewriting: A Generic Approach, with Applications to Cut-Elimination for Non-Wellfounded Proofs
by: Cerda, Rémy, et al.
Published: (2025)

IMELL Cut Elimination with Linear Overhead
by: Accattoli, Beniamino, et al.
Published: (2024)

Left-Linear Rewriting in Adhesive Categories
by: Baldan, Paolo, et al.
Published: (2024)

A Classical Linear $λ$-Calculus based on Contraposition
by: Barenbaum, Pablo, et al.
Published: (2026)

Tree Rewriting Calculi for Strictly Positive Logics
by: Santiago-Fernández, Sofía, et al.
Published: (2025)

Linearization via Rewriting (Long Version)
by: Lago, Ugo Dal, et al.
Published: (2025)

Formalizing Representation Theorems for a Logical Framework with Rewriting
by: Traversié, Thomas, et al.
Published: (2025)

A Weakest Precondition Calculus for Programs and Linear Temporal Specifications
by: Ernst, Gidon
Published: (2026)

Simulating dynamic systems using Linear Time Calculus theories
by: Bogaerts, Bart, et al.
Published: (2014)

Adding Negation to Lambda Mu
by: van Bakel, Steffen
Published: (2021)

Integer Linear-Exponential Programming in NP by Quantifier Elimination
by: Chistikov, Dmitry, et al.
Published: (2024)

On the Finite Variable-Occurrence Fragment of the Calculus of Relations with Bounded Dot-Dagger Alternation
by: Nakamura, Yoshiki
Published: (2023)

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

Infinitary Cut-Elimination for Non-Wellfounded Parsimonious Linear Logic
by: Acclavio, Matteo, et al.
Published: (2023)

Drag Rewriting
by: Dershowitz, Nachum, et al.
Published: (2024)

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

Proofs for Free in the $λΠ$-Calculus Modulo Theory
by: Traversié, Thomas
Published: (2024)

On the Cut Elimination of Weak Intuitionistic Tense Logic
by: Wang, Yiheng, et al.
Published: (2024)