Proofs in Higher-order Logic. Miller, D. Ph.D. Thesis, Carnegie-Mellon University, August, 1983.
Proofs in Higher-order Logic [pdf]Paper  bibtex   

Downloads: 0