Estudio de semántica categórica para lenguajes Algol-Like

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

Guardado en:

Detalles Bibliográficos
Autor principal:	Gadea, Alejandro Emilio
Otros Autores:	Pagano, Miguel María
Formato:	bachelorThesis
Lenguaje:	Español
Publicado:	2024
Materias:	Semántica de lenguajes de programación Semántica denotacional Lógica matemática Cálculo lambda y sistemas relacionados Categorías Categoría funtorial Semantics of programming languages Denotational semantics Mathematical logic Lambda calculus and related systems Stack discipline
Acceso en línea:	http://hdl.handle.net/11086/551653
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, 2013.