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.
Agda
2
Categoría funtorial
2
Código intermedio
2
Denotational semantics
2
Lambda calculus and related systems
2
Lógica matemática
2
Mathematical Logic
2
Semantics of Programming Languages
2
Semántica de lenguajes de programación
2
Semántica denotacional
2
Sistemas relacionados
2
Abstract machines
1
Algol like language
1
Big-step semantics
1
Call by name
1
Compiler correctness
1
Krivine machine
1
-
1
-
2por Rodríguez, Leonardo MatíasMaterias: “...Semantics of Programming Languages...”
Publicado 2011
Aportado por: Repositorio Digital Universitario (UNC)bachelorThesis -
3por Rodríguez, Leonardo MatíasMaterias: “...Semantics of Programming Languages...”
Publicado 2011
Aportado por: Repositorio Digital Universitario (UNC)bachelorThesis