Characteristics of de Bruijn's early proof checker Automath.

Saved in:

Bibliographic Details
Title:	Characteristics of de Bruijn's early proof checker Automath.
Authors:	Geuvers, Herman¹, herman@cs.ru.nl, Nederpelt, Rob²
Source:	Fundamenta Informaticae; 2022, Vol. 185 Issue 4, p313-336, 24p
Database:	Applied Science & Technology Source

Description
ISSN:	01692968
DOI:	10.3233/FI-222112