Report - Teoría de categorías y cálculo lambda · como ( x: y:y) Ω ( x:x). Teorema (Barendregt) Si existe una forma normal del término lambda, la estrategia que reduce a cada paso la

Please pass captcha verification before submit form