Gaya APA

, D, L, V, F, K, A, M, A. (2015). Explicit substitution calculi with de Bruijn indices and intersection type systems . : .

Gaya MLA

, Daniel, Lima, Ventura,, Fairouz, Kamareddine,, And, Mauricio, Ayala-Rincón. "Explicit substitution calculi with de Bruijn indices and intersection type systems ". : , 2015. Text.