1
“... a "classificar" os objetos segundo seu use e seu comportamento como parte do processo de resolução de problemas...”
Um sistema de tipos para uma linguagem de representacao estruturada de conhecimento
Dissertação