Ribeiro, Rodrigo, Universidade Federal de Ouro Preto, Ouro Preto, Minas Gerais, Brazil, Brazil

• Revista de Informática Teórica e Aplicada Vol. 27 No. 3 (2020) - Regular Papers
  A Mechanized Proof of a Textbook Type Unification Algorithm
  Abstract  PDF