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
Categoría funtorial
3
Lambda calculus and related systems
3
Lógica matemática
3
Semántica de lenguajes de programación
3
Semántica denotacional
3
Adecuación computacional
2
Agda
2
Bracketing
2
Categorical semantics
2
Coherencia
2
Corrección de compiladores
2
Código intermedio
2
Logic and verification
2
Mathematical Logic
2
Mecanización
2
Operational semantics
2
Relaciones lógicas
2
Semantics of Programming Languages
2
Sistemas relacionados
2
Theory of computation
2
Categorías
1
Cálculo lambda y sistemas relacionados
1
Mathematical logic
1
Semantics of programming languages
1
Stack discipline
1
-
1por Gadea, Alejandro Emilio
Publicado 2019Aportado por: Repositorio Digital Universitario (UNC)doctoralThesis publishedVersion -
2por Rodríguez, Leonardo Matías
Publicado 2011Aportado por: Repositorio Digital Universitario (UNC)bachelorThesis -
3por Rodríguez, Leonardo Matías
Publicado 2011Aportado por: Repositorio Digital Universitario (UNC)bachelorThesis -
4por Gadea, Alejandro Emilio
Publicado 2019Aportado por: Repositorio Digital Universitario (UNC)publishedVersion doctoralThesis -
5por Gadea, Alejandro Emilio
Publicado 2024Aportado por: Repositorio Digital Universitario (UNC)bachelorThesis