|
Refereed papers
-
Daniel Ventura,
Mauricio Ayala-Rincón and
Fairouz Kamareddine.
Intersection Type Systems and Explicit Substitutions Calculi.
In
WoLLIC 2010 ,
Lecture Notes in Computer Science (FoLLI-LNAI subseries) - Logic,
Language, Information and Computation. Berlin Heidelberg: Springer-Verlag,
2010. v. 6188. p. 232-246, 2010.
doi: 10.1007/978-3-642-13824-9_19.
-
Daniel Ventura,
Mauricio Ayala-Rincó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 69-82, 2010.
doi: 10.4204/EPTCS.15.
-
Daniel Ventura,
Mauricio Ayala-Rincó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 567-578. ©Springer-Verlag.
Computability in Europe 2008
Logic and Theory of Algorithms, 15-20 June 2008, Athens, Greece.(pdf,slides)
-
Daniel Ventura,
Mauricio Ayala-Rincó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 Latin-American Symposium on Mathematical Logic), May 11-17, 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: 978-1-904987-78-9
-
Daniel Ventura,
Mauricio Ayala-Rincó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)
|