La conversión "L"[ ] de términos combinatorios a términos lambda es