Materias dentro de su búsqueda.
Materias dentro de su búsqueda.
ABSTRACT MACHINES
CALCULO-λ
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
λ-CALCULUS
2
-
1por Barenbaum, PabloMaterias: “...SEMANTICA DE LENGUAJES DE PROGRAMACION...”
Publicado 2020
Tesis doctoral publishedVersion -
2por Barenbaum, PabloMaterias: “...SEMANTICA DE LENGUAJES DE PROGRAMACION...”
Publicado 2020
Tesis Doctoral