, Universidade de Brasilia, Universidade Federal de Goias, Brazil

• Journal of Formalized Reasoning Vol. 1 No. 1 (2008) - Articles
  A Formalization of Newman's and Yokouchi's Lemmas in a Higher-Order Language
  Abstract  PDF