The Lambda Calculus, Its Syntax and Semantics. Studies in logic and the foundations of mathematics, 1981. ,
Proving Positive Almost-Sure Termination, Proc. of RTA, pp.323-337, 2005. ,
DOI : 10.1007/978-3-540-32033-3_24
URL : https://hal.archives-ouvertes.fr/inria-00000522
On probabilistic subrecursion (long version) Available at http://arxiv.org/abs, 1701. ,
DOI : 10.1007/978-3-662-54458-7_22
On Probabilistic Applicative Bisimulation and Call-by-Value ??-Calculi, Proc. of ESOP, pp.209-228, 2014. ,
DOI : 10.1007/978-3-642-54833-8_12
A higher-order characterization of probabilistic polynomial time, Inf. Comput, vol.241, pp.114-141, 2015. ,
URL : https://hal.archives-ouvertes.fr/hal-01231752
Probabilistic operational semantics for the lambda calculus. RAIRO -Theor, Inf. and Applic, vol.46, issue.3, pp.413-450, 2012. ,
Probabilistic recursion theory and implicit computational complexity, Sci. Ann. Comp. Sci, vol.24, issue.2, pp.177-216, 2014. ,
URL : https://hal.archives-ouvertes.fr/hal-01091595
Computability by Probabilistic Machines, Automata studies, vol.34, pp.183-198, 1956. ,
DOI : 10.1515/9781400882618-010
Probabilistic coherence spaces are fully abstract for probabilistic PCF, Proceedings of the 41st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL '14, 2014. ,
DOI : 10.1145/2535838.2535865
Probabilistic termination: Soundness , completeness, and compositionality, Proc. of POPL, pp.489-501, 2015. ,
Computational Complexity of Probabilistic Turing Machines, SIAM Journal on Computing, vol.6, issue.4, pp.675-695, 1977. ,
DOI : 10.1137/0206049
Proofs and Types, 1989. ,
Church: a language for generative models, UAI, pp.220-229, 2008. ,
The Troublesome Probabilistic Powerdomain, Electronic Notes in Theoretical Computer Science, vol.13, pp.70-91, 1998. ,
DOI : 10.1016/S1571-0661(05)80216-6
URL : https://doi.org/10.1016/s1571-0661(05)80216-6
On the hardness of almost-sure termination, Proc. of MFCS, pp.307-318, 2015. ,
Semantics of probabilistic programs, Journal of Computer and System Sciences, vol.22, issue.3, pp.328-350, 1981. ,
DOI : 10.1016/0022-0000(81)90036-2
URL : https://doi.org/10.1016/0022-0000(81)90036-2
Foundations of statistical natural language processing, 1999. ,
Abstraction, Refinement and Proof for Probabilistic Systems, Monographs in Computer Science, 2005. ,
Probabilistic reasoning in intelligent systems: networks of plausible inference, 1988. ,
Computer Vision: Models, Learning, and Inference ,
Probabilistic Turing machines and computability, Proceedings of the American Mathematical Society, vol.22, issue.3, pp.704-710, 1969. ,
Lectures on the Curry-Howard Isomorphism, 2006. ,
The typed ??-calculus is not elementary recursive, Theoretical Computer Science, vol.9, issue.1, pp.73-81, 1979. ,
DOI : 10.1016/0304-3975(79)90007-0
Semantics for probabilistic programming, Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer Science, LICS '16, pp.525-534, 2016. ,
DOI : 10.1007/978-3-642-85473-6