Tipo de registro dentro de su búsqueda.
Tipo de registro dentro de su búsqueda.
Materias dentro de su búsqueda.
Materias dentro de su búsqueda.
CURRY-HOWARD ISOMORPHISM
4
ISOMORFISMO DE CURRY-HOWARD
4
Ciencias Informáticas
3
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
Curry-de Bruijn-Howard isomorphism
1
Informática
1
Justification Logic
1
Lógica
1
-
1por Steren, GabrielaMaterias: “...LOGICA COMBINATORIA...”
Publicado 2014
Tesis doctoral publishedVersion -
2por Steren, GabrielaMaterias: “...LOGICA COMBINATORIA...”
Publicado 2014
Tesis doctoral publishedVersion -
3
-
4por Feller, FedericoMaterias: “...lógica matemática y lenguajes formales...”
Publicado 2009
Aportado por: SEDICI (UNLP)Tesis Tesis de grado -
5
-
6por Bavera, Francisco PedroMaterias: “...LOGICA DE JUSTIFICACION...”
Publicado 2012
Tesis doctoral publishedVersion -
7por Bavera, Francisco PedroMaterias: “...LOGICA DE JUSTIFICACION...”
Publicado 2012
Tesis doctoral publishedVersion