Daniel Ventura

I am a Postdoctoral Research Fellow in the Theory of Computation Group in the Department of Mathematics at the University of Brasília (GTC-MAT/UnB) under the supervison of Prof. Mauricio Ayala-Rincón.



In preparation

Journal papers

Refereed papers


  1. Intersection Type Systems and Explicit Substitutions Calculi. 17th Workshop on Logic, Language, Information and Computation.. Brasília, Brazil, July 6th to 9th, 2010. (slides)
  2. Principal Typings in a Restricted Intersection Type System for Beta Normal Forms with de Bruijn Indices. 9th International Workshop on Reduction Strategies in Rewriting and Programming, part of RDP 2009. Brasília, Brazil, June 28, 2009. (slides)
  3. Intersection Type System with de Bruijn Indices. CLE 30/ XV EBL / XIV SLALM. Paraty-RJ, Brazil, May 15, 2008. (slides)
  4. Principal Typings for Explicit Substitution. 4th International Workshop on Higher-Order Rewriting, part of RDP 2007. Paris, June 25, 2007. (slides)


ventura <at> mat.unb.br
Departamento de Matemática, Universidade de Brasília
Campus Universitário Darcy Ribeiro, Asa Norte
70910-900 Brasília D. F., Brasil