Tomasz Pietrzykowski, D. C. Jensen. A complete mechanization of (Ω)-order type theory. In John J. Donovan, Rosemary Shields, editors, Proceedings of the ACM annual conference, ACM 1972, Boston, MA, USA, August 1972, Volume 1. pages 82-92, ACM, 1972. [doi]
Abstract is missing.