van Daalen, Diederik Ton The language theory of Automath. (English) Zbl 0422.68045 Eindhoven: Technische Hogeschool. VI, 309 p. (1980). Page: −5 −4 −3 −2 −1 ±0 +1 +2 +3 +4 +5 Show Scanned Page Cited in 1 ReviewCited in 20 Documents 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 Keywords:typed lambda-calculus; normalization; Church-Rosser property; automath; mechanical verification; arithmetical systems; intuitionistic predicate logic PDFBibTeX XML