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