Utilizar filtros para refinar o resultado de busca.
Data de publicação | Data de defesa | Título | Autor(es) | Orientador(es) | Coorientador(es) |
---|---|---|---|---|---|
29-Jun-2011 | 5-Mar-2010 | Cálculos de substituições explícitas à la de Bruijn com sistemas de tipos com interseção | Ventura, Daniel Lima | Ayala-Rincón, Mauricio | - |
29-Jul-2013 | 29-Nov-2012 | Expansibilidade em cálculos de substituições explícitas | Silva, Fábio Henrique da | Ayala-Rincón, Mauricio | Ventura, Daniel Lima |