CITATION STYLE
Draheim, D. (2017). Syntax and Operational Semantics. In Semantics of the Probabilistic Typed Lambda Calculus (pp. 65–92). Springer Berlin Heidelberg. https://doi.org/10.1007/978-3-642-55198-7_3
Mendeley helps you to discover research relevant for your work.