lambda-cálculo no tipado - QueGrande
lambda-cálculo no tipado - QueGrande
lambda-cálculo no tipado - QueGrande
SHOW LESS
Create successful ePaper yourself
Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.
LAMBDA-CÁLCULO NO TIPADO<br />
Convenciones:<br />
1. La aplicación es asociativa por la izquierda<br />
2. Los cuerpos de las abstracciones son asociativas por la derecha