Fundamenta Informaticae > 2022 > Vol. 185, nr 4 > 313--336
Source
Abstract
Identifiers
journal ISSN : | 0169-2968 |
journal e-ISSN : | 1875-8681 |
DOI | 10.3233/FI-222112 |
Authors
Keywords
Additional information
Publisher
Fields of science
Bibliography
-
[1] Coquand T, Huet G. The Calculus of Constructions. Information and Computation, 1988. 76:95-120. doi:10.1016/0890-5401(88)90005-3.
-
[2] Coq Development Team. The Coq Proof Assistant, Reference Manual. coq.inria.fr/.
-
[3] Bruijn, de NG. The mathematical language AUTOMATH, its usage and some of its extensions. In: Symposium on Automatic Demonstration, Versailles, 1968, volume 125 of Lecture Notes in Mathematics, pp. 29-61. Springer, 1970. Reprinted in [4], pp. 73-100.