Guidi F. Standardization and Confluence in Pure Lambda-Calculus Formalized for the Matita Theorem Prover. JFR [Internet]. 2012 Jan. 1 [cited 2024 Nov. 27];5(1):1-25. Available from: https://jfr.unibo.it/article/view/3392