It is designed to be isomorphic to Curien and Herbelinʼs ¯λμ˜μ-calculus, both at the level of proofs and reduction, and the isomorphism is based on the correct correspondence between cut (resp. left-introduction) in sequent calculus, and substitution (resp. elimination) in natural deduction.
"A country that wants its public building sites free of criminals doesn't need to demonstrate the levels of proof of criminal activity required in a court of law to establish that a company may have been infiltrated by organised crime," he said.
An overall level of proof was determined for each assessment criterion taking into account the levels of proof of each of the references, the consistency of the results between the different studies, the direct or indirect nature of the proof, the cost analysis, etc.
An overall level of proof was determined for each assessment criterion taking into account the levels of proof of each literature reference, the consistency of the results between the different studies, the cost-effectiveness analysis, the directness of the evidence, etc.
But he argued there's at least a scientific basis for believing these games can work, "at least at the level of a proof of concept".
