Daniel Lima Ventura (Selection)

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

4 Daniel Lima Ventura, Mauricio Ayala-Rincón, Fairouz Kamareddine: Intersection Type Systems and Explicit Substitutions Calculi. WoLLIC 2010: 232-246

3 Daniel Lima Ventura, Mauricio Ayala-Rincón, Fairouz Kamareddine: Principal Typings in a Restricted Intersection Type System for Beta Normal Forms with De Bruijn Indices WRS 2009: 69-82

2 Daniel Lima Ventura, Mauricio Ayala-Rincón, Fairouz Kamareddine: Explicit substitutions calculi with one step Eta-reduction decided explicitly. Logic Journal of the IGPL 17(6): 697-718 (2009)

1 Daniel Lima Ventura, Mauricio Ayala-Rincón, Fairouz Kamareddine: Principal Typings for Explicit Substitutions Calculi. CiE 2008: 567-578

Selection of 4 from 4 records - Daniel Lima Ventura has 2 coauthors

Last update 2012-02-16 CET by the DBLP Team —

Content released under the ODC-BY 1.0 license — See also our legal information page

4		Daniel Lima Ventura, Mauricio Ayala-Rincón, Fairouz Kamareddine: Intersection Type Systems and Explicit Substitutions Calculi. WoLLIC 2010: 232-246
3		Daniel Lima Ventura, Mauricio Ayala-Rincón, Fairouz Kamareddine: Principal Typings in a Restricted Intersection Type System for Beta Normal Forms with De Bruijn Indices WRS 2009: 69-82
2		Daniel Lima Ventura, Mauricio Ayala-Rincón, Fairouz Kamareddine: Explicit substitutions calculi with one step Eta-reduction decided explicitly. Logic Journal of the IGPL 17(6): 697-718 (2009)
1		Daniel Lima Ventura, Mauricio Ayala-Rincón, Fairouz Kamareddine: Principal Typings for Explicit Substitutions Calculi. CiE 2008: 567-578