The Lazy ?-Calculus, Research Topics in Functional Programming, pp.65-117, 1990. ,
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
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
Probabilistic applicative bisimulation for call-by-value lambda calculi (long version) Available at http://arxiv.org/abs/1401, 2014. ,
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
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
Probabilistic game semantics, ACM Transactions on Computational Logic, vol.3, issue.3, pp.359-382, 2002. ,
DOI : 10.1145/507382.507385
Bisimulation for Labelled Markov Processes, Information and Computation, vol.179, issue.2, pp.163-193, 2002. ,
DOI : 10.1006/inco.2001.2962
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
Probabilistic encryption, Journal of Computer and System Sciences, vol.28, issue.2, pp.270-299, 1984. ,
DOI : 10.1016/0022-0000(84)90070-9
The principles and practice of probabilistic programming, POPL, pp.399-402, 2013. ,
A model-learner pattern for bayesian reasoning, POPL, pp.403-416, 2013. ,
Logical relations for monadic types, Mathematical Structures in Computer Science, vol.1581, issue.06, pp.1169-1217, 2008. ,
DOI : 10.1006/inco.1996.0052
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
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
Introduction to Modern Cryptography. Chapman & Hall Cryptography and Network Security Series, 2007. ,
Bisimulation through probabilistic testing, Information and Computation, vol.94, issue.1, pp.1-28, 1991. ,
DOI : 10.1016/0890-5401(91)90030-6
Relational Reasoning about Functions and Nondeterminism, 1998. ,
Foundations of statistical natural language processing, 1999. ,
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
A probabilistic language based on sampling functions, ACM Transactions on Programming Languages and Systems, vol.31, issue.1, 2008. ,
DOI : 10.1145/1452044.1452048
Probabilistic reasoning in intelligent systems: networks of plausible inference, 1988. ,
IBAL: A probabilistic rational programming language, IJCAI, pp.733-740, 2001. ,
Operationally-Based Theories of Program Equivalence, Semantics and Logics of Computation, pp.241-298, 1997. ,
DOI : 10.1017/CBO9780511526619.007
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
Stochastic lambda calculus and monads of probability distributions, POPL, pp.154-165, 2002. ,
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
Robotic mapping: A survey Exploring artificial intelligence in the new millennium, pp.1-35, 2002. ,
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