Materias dentro de su búsqueda.
Materias dentro de su búsqueda.
CURRY-HOWARD ISOMORPHISM
6
ISOMORFISMO DE CURRY-HOWARD
AUDITED COMPUTATIONS
3
BYTECODE
3
CALCULO LAMBDA
3
COMBINATORY LOGIC
3
COMPUTACIONES AUDITADAS
3
DECLASSIFICATION
3
DESCLASIFICACION
3
FLUJO DE INFORMACION
3
INFORMATION FLOW
3
JUSTIFICATION LOGIC
3
LAMBDA CALCULUS
3
LOGIC OF PROOFS
3
LOGICA COMBINATORIA
3
LOGICA DE JUSTIFICACION
3
LOGICA DE PRUEBAS
3
LOGICA MODAL
3
MODAL LOGIC
3
NO INTERFERENCIA
3
NONINTERFERENCE
3
PATRONES
3
PATTERNS
3
ROBUSTES
3
ROBUSTNESS
3
-
1
-
2
-
3
-
4
-
5
-
6