Statistics of Reducibility proofs in the lambda-calculus

Contact ORBilu