Direccionamiento de máquinas como modelos de cálculo lambda