Arbiser, A. The expansion problem in lambda calculi with explicit substitution.
Cita Chicago Style (17a ed.)Arbiser, A. The Expansion Problem in Lambda Calculi with Explicit Substitution.
Cita MLA (8a ed.)Arbiser, A. The Expansion Problem in Lambda Calculi with Explicit Substitution.
Precaución: Estas citas no son 100% exactas.