Materias dentro de su búsqueda.
Materias dentro de su búsqueda.
CURRY-HOWARD ISOMORPHISM
2
ISOMORFISMO DE CURRY-HOWARD
2
AUDITED COMPUTATIONS
1
BYTECODE
1
CALCULO LAMBDA
1
COMBINATORY LOGIC
1
COMPUTACIONES AUDITADAS
1
DECLASSIFICATION
1
DESCLASIFICACION
1
FLUJO DE INFORMACION
1
INFORMATION FLOW
1
JUSTIFICATION LOGIC
1
LAMBDA CALCULUS
1
LOGIC OF PROOFS
1
LOGICA COMBINATORIA
1
LOGICA DE JUSTIFICACION
1
LOGICA DE PRUEBAS
1
LOGICA MODAL
1
MODAL LOGIC
1
NO INTERFERENCIA
1
NONINTERFERENCE
1
PATRONES
1
PATTERNS
1
ROBUSTES
1
ROBUSTNESS
1
-
1por Steren, GabrielaMaterias: “...LOGICA COMBINATORIA...”
Publicado 2014
Tesis doctoral publishedVersion -
2por Bavera, Francisco PedroMaterias: “...LOGICA DE JUSTIFICACION...”
Publicado 2012
Tesis doctoral publishedVersion