Buchumschlag

Tropical Mathematics and the Lambda-Calculus II: Tropical Geometry of Probabilistic Programming Languages

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Barbarossa, Davide, Pistone, Paolo
Format:	Preprint
Veröffentlicht:	2025
Schlagworte:	Logic in Computer Science
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

The Lambda Calculus is Quantifiable
von: Maestracci, Valentin, et al.
Veröffentlicht: (2024)

Compiling Quantum Lambda-Terms into Circuits via the Geometry of Interaction
von: Chardonnet, Kostia, et al.
Veröffentlicht: (2026)

A Typed Lambda-Calculus for Establishing Trust in Probabilistic Programs
von: Genco, Francesco A., et al.
Veröffentlicht: (2023)

Denotational semantics driven simplicial homology?
von: Barbarossa, Davide
Veröffentlicht: (2024)

Resource approximation for the $λμ$-calculus
von: Barbarossa, Davide
Veröffentlicht: (2024)

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

(Towards a) Statistical Probabilistic Lazy Lambda Calculus
von: Jagadeesan, Radha
Veröffentlicht: (2024)

Groups and Inverse Semigroups in Lambda Calculus
von: Bucciarelli, Antonio, et al.
Veröffentlicht: (2026)

A Rewriting Theory for Quantum Lambda-Calculus
von: Faggian, Claudia, et al.
Veröffentlicht: (2024)

An excursion into Dialectica and Differentiation
von: Barbarossa, Davide
Veröffentlicht: (2024)

On the algorithmic structure of Dialectica realisers
von: Barbarossa, Davide, et al.
Veröffentlicht: (2025)

Variable Elimination as Rewriting in a Linear Lambda Calculus
von: Ehrhard, Thomas, et al.
Veröffentlicht: (2025)

One or Nothing: Anti-unification over the Simply-Typed Lambda Calculus
von: Cerna, David M., et al.
Veröffentlicht: (2022)

On The Metric Nature of (Differential) Logical Relations
von: Lago, Ugo Dal, et al.
Veröffentlicht: (2025)

On Randomized Computational Models and Complexity Classes: a Historical Overview
von: Antonelli, Melissa, et al.
Veröffentlicht: (2024)

On the Metric Nature of (Differential) Logical Relations
von: Lago, Ugo Dal, et al.
Veröffentlicht: (2026)

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

On Decidable and Undecidable Extensions of Simply Typed Lambda Calculus
von: Kobayashi, Naoki
Veröffentlicht: (2024)

On Higher-Order Probabilistic Verification via the Weighted Relational Model of Linear Logic
von: Lago, Ugo Dal, et al.
Veröffentlicht: (2026)

A Quantum-Control Lambda-Calculus with Multiple Measurement Bases
von: Díaz-Caro, Alejandro, et al.
Veröffentlicht: (2025)

Interpreting Lambda Calculus in Domain-Valued Random Variables
von: Furber, Robert, et al.
Veröffentlicht: (2021)

An Unconventional View on Beta-Reduction in Namefree Lambda-Calculus
von: Nederpelt, Rob, et al.
Veröffentlicht: (2026)

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

A Deductive Refinement Calculus for Differential-Algebraic Programs
von: Hellwig, Jonathan, et al.
Veröffentlicht: (2026)

Adding Negation to Lambda Mu
von: van Bakel, Steffen
Veröffentlicht: (2021)

A Weakest Precondition Calculus for Programs and Linear Temporal Specifications
von: Ernst, Gidon
Veröffentlicht: (2026)

Complete and Terminating Tableau Calculus for Undirected Graph
von: Nishimura, Yuki, et al.
Veröffentlicht: (2024)

A Translation of Probabilistic Event Calculus into Markov Decision Processes
von: Xu, Lyris, et al.
Veröffentlicht: (2025)

On Zeno-like Behaviors in the Event Calculus with Goal-directed Answer Set Programming
von: Vašíček, Ondřej, et al.
Veröffentlicht: (2026)

The Flower Calculus
von: Donato, Pablo
Veröffentlicht: (2024)

Intersection Types for a Computational Lambda-Calculus with Global State
von: de'Liguoro, Ugo, et al.
Veröffentlicht: (2021)

Functional Array Programming in an Extended Pi-Calculus
von: Hüttel, Hans, et al.
Veröffentlicht: (2024)

A Cut-free Sequent Calculus for Basic Intuitionistic Dynamic Topological Logic
von: Tabatabai, Amirhossein Akbar, et al.
Veröffentlicht: (2025)

Programming and Reasoning in Partially Observable Probabilistic Environments
von: Gürtler, Tobias, et al.
Veröffentlicht: (2025)

To Zip Through the Cost Analysis of Probabilistic Programs
von: Hetzenberger, Matthias, et al.
Veröffentlicht: (2025)

The Tensor-Plus Calculus
von: Chardonnet, Kostia, et al.
Veröffentlicht: (2025)

Lax Modal Lambda Calculi
von: Valliappan, Nachiappan
Veröffentlicht: (2025)

Case Study: Verified Vampire Proofs in the LambdaPi-calculus Modulo
von: Komel, Anja Petković, et al.
Veröffentlicht: (2025)

Control-Flow Refinement for Complexity Analysis of Probabilistic Programs in KoAT
von: Lommen, Nils, et al.
Veröffentlicht: (2024)

noDice: Inference for Discrete Probabilistic Programs with Nondeterminism and Conditioning
von: Gürtler, Tobias, et al.
Veröffentlicht: (2026)