Report copyright - SISTEMAS NO TIPADOS - QueGrande.orgquegrande.org/apuntes/EI/4/MD2/teoria/11-12/resumen_md2.pdfEstrategias de evaluación en el lambda-cálculo Beta-reducción completa: cualquier redex
Please pass captcha verification before submit form