A probabilistic semantics for the pure \(\lambda\)-calculus

DOI10.1007/978-3-319-67729-3_5zbMath1434.68084OpenAlexW2754782259MaRDI QIDQ1675793

Alessandra Di Pierro

Publication date: 3 November 2017

Full work available at URL: https://doi.org/10.1007/978-3-319-67729-3_5

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18) Semantics in the theory of computing (68Q55)

This page was built for publication: A probabilistic semantics for the pure \(\lambda\)-calculus