Materias dentro de su búsqueda.
Materias dentro de su búsqueda.
CALCULO-λ
λ-CALCULUS
4
ABSTRACT MACHINES
2
DENOTATIONAL SEMANTICS
2
ESTRATEGIAS DE EVALUACION
2
EVALUACION LAZY
2
EVALUATION STRATEGIES
2
EXPLICIT SUBSTITUTIONS
2
FUNCTIONAL PROGRAMMING
2
LAZY EVALUATION
2
LOGIC PROGRAMMING
2
MAQUINAS ABSTRACTAS
2
PROGRAMACION FUNCIONAL
2
PROGRAMACION LOGICA
2
PROGRAMACION RELACIONAL
2
PROGRAMMING LANGUAGE SEMANTICS
2
RALATIONAL PROGRAMMING
2
RESIDUAL THEORY
2
SEMANTICA DE LENGUAJES DE PROGRAMACION
2
SEMANTICA DENOTACIONAL
2
SISTEMA DE TIPOS
2
SUSTITUCIONES EXPLICITAS
2
TEORIA DE RESIDUOS
2
TYPE SYSTEMS
2
UNIFICACION
2
UNIFICATION
2
-
1por Milicich, MarianaMaterias: “...SEMANTICA DENOTACIONAL...”
Publicado 2022
Tesis de grado publishedVersion -
2
-
3por Barenbaum, PabloMaterias: “...SEMANTICA DE LENGUAJES DE PROGRAMACION...”
Publicado 2020
Tesis doctoral publishedVersion -
4por Barenbaum, PabloMaterias: “...SEMANTICA DE LENGUAJES DE PROGRAMACION...”
Publicado 2020
Tesis Doctoral