On the Taylor expansion of probabilistic λ-terms
From MaRDI portal
Publication:5089013
DOI10.4230/LIPICS.FSCD.2019.13OpenAlexW3123504558MaRDI QIDQ5089013FDOQ5089013
Authors: Ugo Dal Lago, Thomas Leventis 
Publication date: 18 July 2022
Full work available at URL: https://arxiv.org/abs/1904.09650
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
- Title not available (Why is that?)
- Linear logic
- The lambda calculus. Its syntax and semantics. Rev. ed.
- Logical Approaches to Computational Barriers
- Differential interaction nets
- Uniformity and the Taylor expansion of ordinary lambda-terms
- The differential lambda-calculus
- The algebraic lambda calculus
- Domain theory, testing and simulation for labelled Markov processes
- Title not available (Why is that?)
- A lambda-calculus foundation for universal probabilistic programming
- Full abstraction for probabilistic PCF
- Species, profunctors and Taylor expansion weighted by SMCC. A unified framework for modelling nondeterministic, probabilistic and quantum programs
- Title not available (Why is that?)
- Generalised species of rigid resource terms
- Probabilistic Böhm trees and probabilistic separation
Cited In (4)
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)
