Materias dentro de su búsqueda.
Materias dentro de su búsqueda.
CALCULO LAMBDA
2
LAMBDA CALCULUS
COMBINATORY LOGIC
1
CURRY-HOWARD ISOMORPHISM
1
DERIVATION SPACE
1
ESPACIO DE DERIVACION
1
INTERSECTION TYPES
1
ISOMORFISMO DE CURRY-HOWARD
1
LATTICE
1
LOGIC OF PROOFS
1
LOGICA COMBINATORIA
1
LOGICA DE PRUEBAS
1
LOGICA MODAL
1
MODAL LOGIC
1
PATRONES
1
PATTERNS
1
RETICULADO
1
TIPOS INTERSECCION
1
-
1por Ciruelos Rodríguez, GonzaloMaterias: “...LAMBDA CALCULUS...”
Publicado 2018
Tesis de grado publishedVersion -
2por Steren, GabrielaMaterias: “...LAMBDA CALCULUS...”
Publicado 2014
Tesis doctoral publishedVersion