Classical and Intuitionistic Logic Are Asymptotically Identical, CSL, pp.177-193, 2007. ,
DOI : 10.1007/978-3-540-74915-8_16
URL : https://hal.archives-ouvertes.fr/hal-00530534
Analytic combinatorics. in preparation, 2008. ,
DOI : 10.1017/cbo9780511801655
URL : https://hal.archives-ouvertes.fr/inria-00072739
Intuitionistic vs. Classical Tautologies, Quantitative Comparison, Lecture Notes in Computer Science, vol.4941, pp.100-109, 2007. ,
DOI : 10.1007/978-3-540-68103-8_7
URL : https://hal.archives-ouvertes.fr/hal-00530530
Statistics of Intuitionistic versus Classical Logics, Studia Logica, vol.76, issue.3, pp.307-328, 2004. ,
DOI : 10.1023/B:STUD.0000032101.88511.93
Statistical properties of simple types, Mathematical Structures in Computer Science, vol.10, issue.5, pp.575-594, 2000. ,
DOI : 10.1017/S0960129599002959
Probability distribution for simple tautologies, Theoretical Computer Science, vol.355, issue.2, pp.243-260, 2006. ,
DOI : 10.1016/j.tcs.2006.01.002