In any setting in which observable properties have a quantitative flavour, it is natural to compare computational objects by way of metrics rather than equivalences or partial orders. This holds, in particular, for probabilistic higher-order programs. A natural notion of comparison, then, becomes context distance, the metric analogue of Morris' context equivalence. In this paper, we analyze the main properties of the context distance in fully-fledged probabilistic λ-calculi, this way going beyond the state of the art, in which only affine calculi were considered. We first of all study to which extent the context distance trivializes, giving a sufficient condition for trivialization. We then characterize context distance by way of a coinductively defined, tuple-based notion of distance in one of those calculi, called Λ ⊕ ! . We finally derive pseudometrics for call-by-name and call-by-value probabilistic λ-calculi, and prove them fully-abstract.The easiest way to render the pure λ-calculus a universal probabilistic computation model [10] consists in endowing it with a binary construct ⊕ for probabilistic choice. The term M ⊕ N evolves as either M or N , each with probability 1 2 . The obtained calculus can be given meaning by an operational semantics which puts terms in correspondence with distributions of values. The natural notion of observation, at least in an untyped setting like the one we will consider in this paper, is thus the probability of convergence of the observed term M , which will be denoted as M . One could then define a notion of context equivalence following Morris' pattern, and stipulate that two terms M and N should be equivalent whenever they terminate with exactly the same probability when put in any context: