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