Semantics of the Probabilistic Typed Lambda Calculus

DOI10.1007/978-3-642-55198-7zbMath1439.03005OpenAlexW2593681380MaRDI QIDQ2970754

Dirk Draheim

Publication date: 30 March 2017

Full work available at URL: https://doi.org/10.1007/978-3-642-55198-7

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18) Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02) Logic in computer science (03B70) Research exposition (monographs, survey articles) pertaining to computer science (68-02) Combinatory logic and lambda calculus (03B40)

Related Items (1)

A Type Theory for Probabilistic $$\lambda $$–calculus

This page was built for publication: Semantics of the Probabilistic Typed Lambda Calculus