On Probabilistic λ-Calculi

DOI10.1017/9781108770750.005OpenAlexW4246237453MaRDI QIDQ5150948

Ugo Dal Lago

Publication date: 16 February 2021

Published in: Foundations of Probabilistic Programming (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1017/9781108770750.005

zbMATH Keywords

computer sciencecomputational statisticsstatistics and probabilitymachine learning and information scienceprogramming languages and applied logic

Mathematics Subject Classification ID

General topics in the theory of software (68N01)

Related Items (1)

Program equivalence in a typed probabilistic call-by-need functional language

This page was built for publication: On Probabilistic λ-Calculi