Materias dentro de su búsqueda.
Materias dentro de su búsqueda.
CALCULO-λ
3
λ-CALCULUS
3
ABSTRACT MACHINES
2
ESTRATEGIAS DE EVALUACION
2
EVALUACION LAZY
2
EVALUATION STRATEGIES
2
EXPLICIT SUBSTITUTIONS
2
LAZY EVALUATION
2
MAQUINAS ABSTRACTAS
2
PROGRAMMING LANGUAGE SEMANTICS
2
RESIDUAL THEORY
2
SEMANTICA DE LENGUAJES DE PROGRAMACION
2
SISTEMA DE TIPOS
2
SUSTITUCIONES EXPLICITAS
2
TEORIA DE RESIDUOS
2
TYPE SYSTEMS
2
CALCULO LAMBDA
1
DENOTATIONAL SEMANTICS
1
DERIVATION SPACE
1
ESPACIO DE DERIVACION
1
FUNCTIONAL PROGRAMMING
1
INTERSECTION TYPES
1
LAMBDA CALCULUS
1
LATTICE
1
LOGIC PROGRAMMING
1
PROGRAMACION FUNCIONAL
1
PROGRAMACION LOGICA
1
PROGRAMACION RELACIONAL
1
RALATIONAL PROGRAMMING
1
RETICULADO
1
-
1por Ciruelos Rodríguez, GonzaloMaterias: “...LAMBDA CALCULUS...”
Publicado 2018
Tesis de grado publishedVersion -
2
-
3
-
4