GUIDI, F. Verified Representations of Landau’s "Grundlagen" in the lambda-delta Family and in the Calculus of Constructions. Journal of Formalized Reasoning, [S. l.], v. 8, n. 1, p. 93–116, 2015. DOI: 10.6092/issn.1972-5787/4716. Disponível em: https://jfr.unibo.it/article/view/4716. Acesso em: 8 feb. 2023.