Principal Typings for Explicit Substitutions Calculi. - Daniel Lima Ventura; Mauricio Ayala-Rincón; Fairouz Kamareddine (CiE, 2008)

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

Explicit substitutions calculi with one step Eta-reduction decided explicitly. - Daniel Lima Ventura; Mauricio Ayala-Rincón; Fairouz Kamareddine (Log. J. IGPL, 2009)

Intersection Type Systems and Explicit Substitutions Calculi. - Daniel Lima Ventura; Mauricio Ayala-Rincón; Fairouz Kamareddine (WoLLIC, 2010)

Quantitative Types for the Linear Substitution Calculus. - Delia Kesner; Daniel Ventura (IFIP TCS, 2014)

Formalizing a Named Explicit Substitutions Calculus in Coq. - Washington de Carvalho Segundo; Flávio L. C. de Moura; Daniel Ventura (CICM Workshops, 2014)

Automath Type Inclusion in Barendregt's Cube. - Fairouz Kamareddine; Joe B. Wells; Daniel Lima Ventura (CSR, 2015)

A Resource Aware Computational Interpretation for Herbelin's Syntax. - Delia Kesner; Daniel Ventura (ICTAC, 2015)

Strong Normalization through Intersection Types and Memory. - Antonio Bucciarelli; Delia Kesner; Daniel Ventura (LSFA, 2015)

Explicit substitution calculi with de Bruijn indices and intersection type systems. - Daniel Lima Ventura; Fairouz Kamareddine; Mauricio Ayala-Rincón (Log. J. IGPL, 2015)

Non-idempotent intersection types for the Lambda-Calculus. - Antonio Bucciarelli; Delia Kesner; Daniel Ventura (Log. J. IGPL, 2017)

Nominal essential intersection types. - Mauricio Ayala-Rincón; Maribel Fernández; Ana Cristina Rocha Oliveira; Daniel Lima Ventura (Theor. Comput. Sci., 2018)

A Quantitative Understanding of Pattern Matching. - Sandra Alves; Delia Kesner; Daniel Ventura (TYPES, 2019)

A resource aware semantics for a focused intuitionistic calculus. - Delia Kesner; Daniel Ventura (Math. Struct. Comput. Sci., 2019)

The Spirit of Node Replication. - Delia Kesner; Loïc Peyrot; Daniel Ventura (FoSSaCS, 2021)

A subexponential view of domains in session types. - Daniele Nantes; Carlos Olarte; Daniel Ventura (LSFA, 2021)

Quantitative Weak Linearisation. - Sandra Alves; Daniel Ventura (ICTAC, 2022)

Node Replication: Theory And Practice. - Delia Kesner; Loïc Peyrot; Daniel Ventura (Log. Methods Comput. Sci., 2024)