1
Assuntos:
“...Teoria de Reescrita de Termos...”
Uma formalização da teoria de reescrita em linguagem de ordem superior
Tese