área de pesquisa Elaine Gouvêa Pimentel O isomorfismo de Curry-Howard Sobre as lógicas linear, intuicionista e clássica e suas especificações Susanna Sirotinskaya
