Contextual Equivalence in a Probabilistic Call-by-Need Lambda-Calculus.

David Sabel, Manfred Schmidt-Schau, Luca Maio

Browse the full PPDP paper archive.