S. Abramsky, The Lazy ?-Calculus, Research Topics in Functional Programming, pp.65-117, 1990.

G. Berry and P. Curien, Sequential algorithms on concrete data structures, Theoretical Computer Science, vol.20, issue.3, pp.265-321, 1982.
DOI : 10.1016/S0304-3975(82)80002-9

D. Comaniciu, V. Ramesh, and P. Meer, Kernel-based object tracking, IEEE Transactions on Pattern Analysis and Machine Intelligence, vol.25, issue.5, pp.564-577, 2003.
DOI : 10.1109/TPAMI.2003.1195991

R. Crubille and U. Dal-lago, Probabilistic applicative bisimulation for call-by-value lambda calculi (long version) Available at http://arxiv.org/abs/1401, 2014.

U. Dal-lago, D. Sangiorgi, and M. Alberti, On coinductive equivalences for higher-order probabilistic functional programs, Proceedings of the 41st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL '14, pp.297-308, 2014.
DOI : 10.1145/2535838.2535872

URL : https://hal.archives-ouvertes.fr/hal-01091573

U. , D. Lago, and M. Zorzi, Probabilistic operational semantics for the lambda calculus. RAIRO -Theor, Inf. and Applic, vol.46, issue.3, pp.413-450, 2012.
URL : https://hal.archives-ouvertes.fr/hal-00909373

V. Danos and R. Harmer, Probabilistic game semantics, ACM Transactions on Computational Logic, vol.3, issue.3, pp.359-382, 2002.
DOI : 10.1145/507382.507385

J. Desharnais, A. Edalat, and P. Panangaden, Bisimulation for Labelled Markov Processes, Information and Computation, vol.179, issue.2, pp.163-193, 2002.
DOI : 10.1006/inco.2001.2962

T. Ehrhard, C. Tasson, and M. Pagani, Probabilistic coherence spaces are fully abstract for probabilistic PCF, Proceedings of the 41st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL '14, pp.309-320, 2014.
DOI : 10.1145/2535838.2535865

S. Goldwasser and S. Micali, Probabilistic encryption, Journal of Computer and System Sciences, vol.28, issue.2, pp.270-299, 1984.
DOI : 10.1016/0022-0000(84)90070-9

N. D. Goodman, The principles and practice of probabilistic programming, POPL, pp.399-402, 2013.

A. D. Gordon, M. Aizatulin, J. Borgström, G. Claret, T. Graepel et al., A model-learner pattern for bayesian reasoning, POPL, pp.403-416, 2013.

J. Goubault-larrecq, S. Lasota, and D. Nowak, Logical relations for monadic types, Mathematical Structures in Computer Science, vol.1581, issue.06, pp.1169-1217, 2008.
DOI : 10.1006/inco.1996.0052

D. J. Howe, Proving Congruence of Bisimulation in Functional Programming Languages, Information and Computation, vol.124, issue.2, pp.103-112, 1996.
DOI : 10.1006/inco.1996.0008

C. Jones and G. D. Plotkin, A probabilistic powerdomain of evaluations, [1989] Proceedings. Fourth Annual Symposium on Logic in Computer Science, pp.186-195, 1989.
DOI : 10.1109/LICS.1989.39173

J. Katz and Y. Lindell, Introduction to Modern Cryptography. Chapman & Hall Cryptography and Network Security Series, 2007.

K. G. Larsen and A. Skou, Bisimulation through probabilistic testing, Information and Computation, vol.94, issue.1, pp.1-28, 1991.
DOI : 10.1016/0890-5401(91)90030-6

S. B. Lassen, Relational Reasoning about Functions and Nondeterminism, 1998.

C. D. Manning and H. Schütze, Foundations of statistical natural language processing, 1999.

C. L. Ong, Non-determinism in a functional setting, [1993] Proceedings Eighth Annual IEEE Symposium on Logic in Computer Science, pp.275-286, 1993.
DOI : 10.1109/LICS.1993.287580

S. Park, F. Pfenning, and S. Thrun, A probabilistic language based on sampling functions, ACM Transactions on Programming Languages and Systems, vol.31, issue.1, 2008.
DOI : 10.1145/1452044.1452048

J. Pearl, Probabilistic reasoning in intelligent systems: networks of plausible inference, 1988.

A. Pfeffer, IBAL: A probabilistic rational programming language, IJCAI, pp.733-740, 2001.

A. Pitts, Operationally-Based Theories of Program Equivalence, Semantics and Logics of Computation, pp.241-298, 1997.
DOI : 10.1017/CBO9780511526619.007

G. D. Plotkin, LCF considered as a programming language, Theoretical Computer Science, vol.5, issue.3, pp.223-255, 1977.
DOI : 10.1016/0304-3975(77)90044-5

N. Ramsey and A. Pfeffer, Stochastic lambda calculus and monads of probability distributions, POPL, pp.154-165, 2002.

C. Shannon, Communication Theory of Secrecy Systems*, Bell System Technical Journal, vol.28, issue.4, pp.656-715, 1949.
DOI : 10.1002/j.1538-7305.1949.tb00928.x

S. Thrun, Robotic mapping: A survey Exploring artificial intelligence in the new millennium, pp.1-35, 2002.

F. Van-breugel, M. W. Mislove, J. Ouaknine, and J. Worrell, Domain theory, testing and simulation for labelled Markov processes, Theoretical Computer Science, vol.333, issue.1-2, pp.171-197, 2005.
DOI : 10.1016/j.tcs.2004.10.021