Guidi, Ferruccio. “Verified Representations of Landau’s ‘Grundlagen’ in the Lambda-Delta Family and in the Calculus of Constructions”. Journal of Formalized Reasoning 8, no. 1 (January 1, 2015): 93–116. Accessed November 27, 2024. https://jfr.unibo.it/article/view/4716.