Gaya APA

Arbiser, A. (2009). The Expansion Problem in Lambda Calculi with Explicit Substitution . : .

Gaya MLA

Arbiser, Ariel. "The Expansion Problem in Lambda Calculi with Explicit Substitution". : , 2009. Text.