Materias dentro de su búsqueda.
Materias dentro de su búsqueda.
CALCULO LAMBDA
2
SUSTITUCIONES EXPLICITAS
2
ABSTRACT MACHINES
1
ALLOY CALCULUS
1
ANALISIS DE ESPECIFICACIONES DE SOFTWARE
1
CALCULO PARA ALLOY
1
CALCULO-λ
1
COMBINATORY LOGIC
1
COMMUTATION
1
CONFLUENCE
1
CONFLUENCIA
1
CONMUTACION
1
CONSTRUCTOR
1
CURRY-HOWARD ISOMORPHISM
1
DE BRUIJN INDEX
1
DEMOSTRACION DE TEOREMAS INTERACTIVA
1
ESTRATEGIA
1
ESTRATEGIAS DE EVALUACION
1
EVALUACION LAZY
1
EVALUATION STRATEGIES
1
EXPANSION
1
EXPLICIT SUBSTITUTION
1
EXPLICIT SUBSTITUTIONS
1
INDICE DE BRUIJN
1
INTERACTIVE THEOREM PROVING
1
ISOMORFISMO DE CURRY-HOWARD
1
LAMBDA CALCULUS
1
LAMBDA-CALCULUS
1
LAZY EVALUATION
1
LOGIC OF PROOFS
1
-
1
-
2
-
3
-
4