
Refereed papers

Daniel Ventura,
Mauricio AyalaRincón and
Fairouz Kamareddine.
Intersection Type Systems and Explicit Substitutions Calculi.
In
WoLLIC 2010 ,
Lecture Notes in Computer Science (FoLLILNAI subseries)  Logic,
Language, Information and Computation. Berlin Heidelberg: SpringerVerlag,
2010. v. 6188. p. 232246, 2010.
doi: 10.1007/9783642138249_19.

Daniel Ventura,
Mauricio AyalaRincón and
Fairouz Kamareddine.
Principal typings in a restricted intersection type system for beta normal
forms with de Bruijn indices.
In
9th International
Workshop on Reduction Strategies in Rewriting and Programming,
Brasília, Brazil, 2009, volume 15 of EPTCS, pages 6982, 2010.
doi: 10.4204/EPTCS.15.

Daniel Ventura,
Mauricio AyalaRincón and
Fairouz Kamareddine.
Principal Typings for Explicit Substitutions calculi.
Arnold Beckmann, Costas Dimitracopoulos, and Benedikt Loewe (eds.): Logic and
Theory of Algorithms, Fourth Conference on Computability in Europe,
CiE 2008, Athens, Greece, June 2008, Proceedings, Lecture Notes in
Computer Science volume 5028, pages 567578. ©SpringerVerlag.
Computability in Europe 2008
Logic and Theory of Algorithms, 1520 June 2008, Athens, Greece.(pdf,slides)

Daniel Ventura,
Mauricio AyalaRincón and
Fairouz Kamareddine.
Intersection Type Systems with de Bruijn Indices.
CLE 30 anos/ XV EBL/XIV SLALM
(30th Anniversary of the Centre for Logic, Epistemology and the History of Science, UNICAMP/15th Brazilian
Logic Conference/ 14th LatinAmerican Symposium on Mathematical Logic), May 1117, 2008, Paraty, RJ, Brazil.
(pdf)
In press as Chapter in "The Many Sides of Logic", Editors: W. A. Carnielli, M. E. Coniglio, I. M. Loffredo D'Ottaviano. Series "Studies in Logic", College Publications, London. ISBN: 9781904987789

Daniel Ventura,
Mauricio AyalaRincón and
Fairouz Kamareddine.
Explicit Substitutions Calculi with Explicit Eta rules which Preserve Subject Reduction.
Brazilian Workshop on Logical and Semantic Frameworks, with Applications  LSFA'06. September 17th, Natal, Brazil. 2006.
(pdf)
