On the Taylor expansion of probabilistic λ-terms

DOI10.4230/LIPIcs.FSCD.2019.13OpenAlexW3123504558MaRDI QIDQ5089013

Ugo Dal Lago, Thomas Leventis

Publication date: 18 July 2022

Full work available at URL: https://arxiv.org/abs/1904.09650

zbMATH Keywords

linear logicTaylor expansionprobabilistic \(\lambda\)-calculi

Mathematics Subject Classification ID

Logic in computer science (03B70) Theory of computing (68Qxx)

Related Items (3)

Taylor expansion, finiteness and strategies ⋮ Unnamed Item ⋮ Finitary Simulation of Infinitary $\beta$-Reduction via Taylor Expansion, and Applications

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Linear logic
• The lambda calculus. Its syntax and semantics. Rev. ed.
• Differential interaction nets
• Uniformity and the Taylor expansion of ordinary lambda-terms
• Domain theory, testing and simulation for labelled Markov processes
• The differential lambda-calculus
• A lambda-calculus foundation for universal probabilistic programming
• The algebraic lambda calculus
• Full Abstraction for Probabilistic PCF
• Probabilistic Böhm Trees and Probabilistic Separation
• Species, Profunctors and Taylor Expansion Weighted by SMCC
• Logical Approaches to Computational Barriers

This page was built for publication: On the Taylor expansion of probabilistic λ-terms