Materias dentro de su búsqueda.
Materias dentro de su búsqueda.
CALCULO LAMBDA
LAMBDA CALCULUS
6
COMBINATORY LOGIC
3
COMMUTATION
3
CONFLUENCE
3
CONFLUENCIA
3
CONMUTACION
3
CONSTRUCTOR
3
CURRY-HOWARD ISOMORPHISM
3
DE BRUIJN INDEX
3
DERIVATION SPACE
3
ESPACIO DE DERIVACION
3
ESTRATEGIA
3
EXPANSION
3
EXPLICIT SUBSTITUTION
3
INDICE DE BRUIJN
3
INTERSECTION TYPES
3
ISOMORFISMO DE CURRY-HOWARD
3
LAMBDA-CALCULUS
3
LATTICE
3
LOGIC OF PROOFS
3
LOGICA COMBINATORIA
3
LOGICA DE PRUEBAS
3
LOGICA MODAL
3
MODAL LOGIC
3
NORMALIZACION
3
NORMALIZATION
3
PATRON
3
PATRONES
3
PATTERN
3
-
1
-
2por Ciruelos Rodríguez, GonzaloMaterias: “...LAMBDA CALCULUS...”
Publicado 2018
Tesis de grado publishedVersion -
3por Ciruelos Rodríguez, GonzaloMaterias: “...LAMBDA CALCULUS...”
Publicado 2018
Tesis de grado publishedVersion -
4por Steren, GabrielaMaterias: “...LAMBDA CALCULUS...”
Publicado 2014
Tesis doctoral publishedVersion -
5por Steren, GabrielaMaterias: “...LAMBDA CALCULUS...”
Publicado 2014
Tesis doctoral publishedVersion -
6
-
7
-
8
-
9