Contextual Equivalence in a Probabilistic Call-by-Need Lambda-Calculus. - David Sabel; Manfred Schmidt-Schauß; Luca Maio (PPDP, 2022)

A Probabilistic Call-by-Need Lambda-Calculus - Extended Version. - David Sabel; Manfred Schmidt-Schauß; Luca Maio (CoRR, 2022)