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.
Denotational semantics
4
Adecuación computacional
2
Agda
2
Bracketing
2
CALCULO-λ
2
Categorical semantics
2
Categoría funtorial
2
Coherencia
2
Corrección de compiladores
2
Código intermedio
2
DENOTATIONAL SEMANTICS
2
FUNCTIONAL PROGRAMMING
2
LOGIC PROGRAMMING
2
Lambda calculus and related systems
2
Logic and verification
2
Lógica matemática
2
Mathematical Logic
2
Mecanización
2
Operational semantics
2
PROGRAMACION FUNCIONAL
2
PROGRAMACION LOGICA
2
PROGRAMACION RELACIONAL
2
RALATIONAL PROGRAMMING
2
Relaciones lógicas
2
SEMANTICA DENOTACIONAL
2
Semantics of Programming Languages
2
Semántica de lenguajes de programación
2
Semántica denotacional
2
Sistemas relacionados
2
Theory of computation
2
-
1por Gadea, Alejandro EmilioMaterias: “...Denotational semantics...”
Publicado 2019
Aportado por: Repositorio Digital Universitario (UNC)doctoralThesis publishedVersion -
2por Gadea, Alejandro EmilioMaterias: “...Denotational semantics...”
Publicado 2019
Aportado por: Repositorio Digital Universitario (UNC)doctoralThesis publishedVersion -
3por Milicich, MarianaMaterias: “...DENOTATIONAL SEMANTICS...”
Publicado 2022
Tesis de grado publishedVersion -
4
-
5por Rodríguez, Leonardo MatíasMaterias: “...Denotational semantics...”
Publicado 2011
Aportado por: Repositorio Digital Universitario (UNC)bachelorThesis -
6por Rodríguez, Leonardo MatíasMaterias: “...Denotational semantics...”
Publicado 2011
Aportado por: Repositorio Digital Universitario (UNC)bachelorThesis