CURRY-HOWARD ISOMORPHISM 4 ISOMORFISMO DE CURRY-HOWARD 4 AUDITED COMPUTATIONS 2 BYTECODE 2 CALCULO LAMBDA 2 COMBINATORY LOGIC 2 COMPUTACIONES AUDITADAS 2 DECLASSIFICATION 2 DESCLASIFICACION 2 FLUJO DE INFORMACION 2 INFORMATION FLOW 2 JUSTIFICATION LOGIC 2 LAMBDA CALCULUS 2 LOGIC OF PROOFS 2 LOGICA COMBINATORIA 2 LOGICA DE JUSTIFICACION 2 LOGICA DE PRUEBAS 2 LOGICA MODAL 2 MODAL LOGIC 2 NO INTERFERENCIA 2 NONINTERFERENCE 2 PATRONES 2 PATTERNS 2 ROBUSTES 2 ROBUSTNESS 2