área de pesquisa
- A Lógica dos Feixes sobre Quantais Right-Sided e Idempotentes
- Alfio Ricardo de Brito Martini
- Arthur Freitas Ramos
- Categoria de Grafos Parciais com Homomorfismos Totais: teoria e aplicações
- Categorias Relacionais para Computacao Quantica
- Darllan Conceição Pinto
- Discurso sobre Fundamentos de Arquitetura da Informação
- Explicit computational paths in type theory
- Fernando Jose Oliveira de Souza
- First steps in homotopy type theory
- Fusion of General Modal Logics Labelled with Truth Values
- Grafos Internos e Multirrelações como ''Spans'' - Propriedades e Composicionalidade
- Grupo de Pesquisa em Lógica, Conjuntos e Topologia
- Juliana Kaizer Vizzotto
- Karina Girardi Roggia
- Liara Aparecida dos Santos Leal
- Lógica de Topos e Aplicações
- Maigan Stefanne da Silva Alcântara
- Marcelo Esteban Coniglio
- Marnes Augusto Hoff
- Noções de Localidade baseadas em Categorias Modelo de Quillen sobre Estruturas Finitas
- O Continuum, os Reais e o Conceito de Homogeneidade
- O Tipo Identidade Como o Tipo de Caminhos Computacionais
- On the 3 Manifold Invariants Derived from Hopf Objects
- Pursuing Abstraction: Problems and Ideas on Mathematics and Physics
- Reificação de Objetos Concorrentes
- Relating Arrows Between Institutions in a Categorical Framework
- Renata Gomes Wotter
- The Axiom of Choice and the Partition Principle from Dialectica Categories
- The Theory of an Arbitrary Higher (lambda)-Model
- Yuri Ximenes Martins