Semantics of the probabilistic Lambda Calculus By Dirk Draheim

Michele Loreti. Semantics of the probabilistic Lambda Calculus By Dirk Draheim. Formal Asp. Comput., 33(3):457-458, 2021. [doi]