Tipo de registro dentro de su búsqueda.
Tipo de registro dentro de su búsqueda.
Materias dentro de su búsqueda.
Materias dentro de su búsqueda.
CALCULO-λ
5
λ-CALCULUS
5
ABSTRACT MACHINES
3
ESTRATEGIAS DE EVALUACION
3
EVALUACION LAZY
3
EVALUATION STRATEGIES
3
EXPLICIT SUBSTITUTIONS
3
LAZY EVALUATION
3
MAQUINAS ABSTRACTAS
3
PROGRAMMING LANGUAGE SEMANTICS
3
RESIDUAL THEORY
3
SEMANTICA DE LENGUAJES DE PROGRAMACION
3
SISTEMA DE TIPOS
3
SUSTITUCIONES EXPLICITAS
3
TEORIA DE RESIDUOS
3
TYPE SYSTEMS
3
DENOTATIONAL SEMANTICS
2
FUNCTIONAL PROGRAMMING
2
LOGIC PROGRAMMING
2
PROGRAMACION FUNCIONAL
2
PROGRAMACION LOGICA
2
PROGRAMACION RELACIONAL
2
RALATIONAL PROGRAMMING
2
SEMANTICA DENOTACIONAL
2
UNIFICACION
2
UNIFICATION
2
ARTIFICIAL INTELLIGENCE
1
Ciencias Informáticas
1
Constraints
1
Cálculo λ
1
-
1
-
2
-
3
-
4
-
5
-
6