×

The language theory of Automath. (English) Zbl 0422.68045

Eindhoven: Technische Hogeschool. VI, 309 p. (1980).

MSC:

68T15 Theorem proving (deduction, resolution, etc.) (MSC2010)
68T99 Artificial intelligence
68-02 Research exposition (monographs, survey articles) pertaining to computer science
03B40 Combinatory logic and lambda calculus
03B35 Mechanization of proofs and logical operations
03-02 Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations