Characteristics of de Bruijn's early proof checker Automath.
Saved in:
| Title: | Characteristics of de Bruijn's early proof checker Automath. |
|---|---|
| Authors: | Geuvers, Herman1, herman@cs.ru.nl, Nederpelt, Rob2 |
| Source: | Fundamenta Informaticae; 2022, Vol. 185 Issue 4, p313-336, 24p |
| Database: | Applied Science & Technology Source |
Be the first to leave a comment!
