Daniel Lima Ventura
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
3
Venues
3
Active years
2008–2015
Best venue rank
National
Where they publish
Papers
3 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2015 | CSR | Automath Type Inclusion in Barendregt's Cube. | Fairouz Kamareddine, Joe B. Wells, Daniel Lima Ventura |
| 2010 | WoLLIC | Intersection Type Systems and Explicit Substitutions Calculi. | Daniel Lima Ventura, Mauricio Ayala-Rincn, Fairouz Kamareddine |
| 2008 | CiE | Principal Typings for Explicit Substitutions Calculi. | Daniel Lima Ventura, Mauricio Ayala-Rincn, Fairouz Kamareddine |