Daniel Lima Ventura

Publication Activity (10 Years)

Years Active: 2008-2018
Publications (10 Years): 3

Top Topics

Top Venues

Theor. Comput. Sci.

Publications

Mauricio Ayala-Rincón, Maribel Fernández, Ana Cristina Rocha Oliveira, Daniel Lima Ventura
Nominal essential intersection types. Theor. Comput. Sci. 737 (2018)
Daniel Lima Ventura, Fairouz Kamareddine, Mauricio Ayala-Rincón
Explicit substitution calculi with de Bruijn indices and intersection type systems. Log. J. IGPL 23 (2) (2015)
Fairouz Kamareddine, Joe B. Wells, Daniel Lima Ventura
Automath Type Inclusion in Barendregt's Cube. CSR (2015)
Daniel Lima Ventura, Mauricio Ayala-Rincón, Fairouz Kamareddine
Intersection Type Systems and Explicit Substitutions Calculi. WoLLIC (2010)
Daniel Lima Ventura, Mauricio Ayala-Rincón, Fairouz Kamareddine
Explicit substitutions calculi with one step Eta-reduction decided explicitly. Log. J. IGPL 17 (6) (2009)
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)
Daniel Lima Ventura, Mauricio Ayala-Rincón, Fairouz Kamareddine
Principal Typings for Explicit Substitutions Calculi. CiE (2008)