Document Zbl 0253.68021

A complete mechanization of second-order type theory. (English) Zbl 0253.68021

J. Assoc. Comput. Mach. 20, 333-364 (1973).

Page: −5 −4 −3 −2 −1 ±0 +1 +2 +3 +4 +5 Show Scanned Page
scan of Zbl 0253.68021

68T15	Theorem proving (deduction, resolution, etc.) (MSC2010)
03F99	Proof theory and constructive mathematics
03B15	Higher-order logic; type theory (MSC2010)

Cite Review PDF

Full Text: DOI