On the Taylor expansion of probabilistic λ-terms

DOI10.4230/LIPICS.FSCD.2019.13MaRDI QIDQ5089013zbMATH OpenOpenAlexFDO

Authors 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)

Recommendations

• A characterization of the Taylor expansion of \(\lambda\)-terms
• Uniformity and the Taylor expansion of ordinary lambda-terms
• On the Taylor expansion of \(\lambda\)-terms and the groupoid structure of their rigid approximants
• scientific article; zbMATH DE number 7089070
• Logical Approaches to Computational Barriers

Cites work

• scientific article; zbMATH DE number 4179422 (Why is no real title available?)
• scientific article; zbMATH DE number 7226008 (Why is no real title available?)
• scientific article; zbMATH DE number 1231449 (Why is no real title available?)
• A lambda-calculus foundation for universal probabilistic programming
• Differential interaction nets
• Domain theory, testing and simulation for labelled Markov processes
• Full abstraction for probabilistic PCF
• Generalised species of rigid resource terms
• Linear logic
• Logical Approaches to Computational Barriers
• Probabilistic Böhm trees and probabilistic separation
• Species, profunctors and Taylor expansion weighted by SMCC. A unified framework for modelling nondeterministic, probabilistic and quantum programs
• The algebraic lambda calculus
• The differential lambda-calculus
• The lambda calculus. Its syntax and semantics. Rev. ed.
• Uniformity and the Taylor expansion of ordinary lambda-terms

Cited in

(4)

• Resource approximation for the \(\lambda \mu \)-calculus
• Taylor expansion, finiteness and strategies
• Finitary Simulation of Infinitary $\beta$-Reduction via Taylor Expansion, and Applications
• scientific article; zbMATH DE number 7089070 (Why is no real title available?)

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5089013)