Materias dentro de su búsqueda.
Materias dentro de su búsqueda.
CALCULO LAMBDA
4
SUSTITUCIONES EXPLICITAS
4
ABSTRACT MACHINES
2
ALLOY CALCULUS
2
ANALISIS DE ESPECIFICACIONES DE SOFTWARE
2
CALCULO PARA ALLOY
2
CALCULO-λ
2
COMBINATORY LOGIC
2
COMMUTATION
2
CONFLUENCE
2
CONFLUENCIA
2
CONMUTACION
2
CONSTRUCTOR
2
CURRY-HOWARD ISOMORPHISM
2
DE BRUIJN INDEX
2
DEMOSTRACION DE TEOREMAS INTERACTIVA
2
ESTRATEGIA
2
ESTRATEGIAS DE EVALUACION
2
EVALUACION LAZY
2
EVALUATION STRATEGIES
2
EXPANSION
2
EXPLICIT SUBSTITUTION
2
EXPLICIT SUBSTITUTIONS
2
INDICE DE BRUIJN
2
INTERACTIVE THEOREM PROVING
2
ISOMORFISMO DE CURRY-HOWARD
2
LAMBDA CALCULUS
2
LAMBDA-CALCULUS
2
LAZY EVALUATION
2
LOGIC OF PROOFS
2
-
1por Moscato, Mariano MiguelMaterias: “...ALLOY CALCULUS...”
Publicado 2013
Tesis doctoral publishedVersion -
2por Moscato, Mariano MiguelMaterias: “...ALLOY CALCULUS...”
Publicado 2013
Tesis doctoral publishedVersion -
3por Steren, GabrielaMaterias: “...LAMBDA CALCULUS...”
Publicado 2014
Tesis doctoral publishedVersion -
4por Steren, GabrielaMaterias: “...LAMBDA CALCULUS...”
Publicado 2014
Tesis doctoral publishedVersion -
5
-
6
-
7
-
8