Generación de código intermedio usando semántica funtorial

Mostrar todas las versiones(2)

Tesis (Lic. en Ciencias de la Computación)--Universidad Nacional de Córdoba. Facultad de Matemática, Astronomía y Física, 2010.

Guardado en:

Detalles Bibliográficos
Autor principal:	Rodríguez, Leonardo Matías
Otros Autores:	Fridlender, Daniel Edgardo
Formato:	bachelorThesis
Lenguaje:	Español
Publicado:	2011
Materias:	Semantics of Programming Languages Denotational semantics Mathematical Logic Lambda calculus and related systems Código intermedio Categoría funtorial Semántica denotacional Agda Lógica matemática Sistemas relacionados Semántica de lenguajes de programación
Acceso en línea:	http://hdl.handle.net/11086/41
Aporte de:	Repositorio Digital Universitario (UNC) de Universidad Nacional de Córdoba

Descripción
Sumario:	Tesis (Lic. en Ciencias de la Computación)--Universidad Nacional de Córdoba. Facultad de Matemática, Astronomía y Física, 2010.