João Antonio Recio da Paixão

Professor
Métodos Formais
Linguagens Diagramáticas
Teoria de Categorias Aplicada
Álgebra Linear Gráfica
Álgebra da Programação
String Diagrams
Álgebra Linear Computacional
RJ

Foto do pesquisador(a)

Instituição

Instituto de Computação (IC) da Universidade Federal do Rio de Janeiro (UFRJ).