Return to Article Details
A Formalization of Newman's and Yokouchi's Lemmas in a Higher-Order Language
Download
Download PDF