1 paper
Alberto Momigliano, Martina Sassella
We report on yet another formalization of the Church-Rosser property in lambda-calculi, carried out with the proof environment Beluga. After the well-known proofs of confluence for…