On applications of category theory to programming languages

"Category Theory can be used to model computational effects in terms of purely denotational semantics. Here, we present the fundamental elements of Category Theory and how they relate to programming languages, in particular we?ll see how Category Theory can be applied to denote computational ef...

Full description

Autores:

Salazar Ruiz, Víctor José de Jesús

Tipo de recurso:

Trabajo de grado de pregrado

Fecha de publicación:

2018

Institución:

Universidad de los Andes

Repositorio:

Séneca: repositorio Uniandes

Idioma:

eng

OAI Identifier:

oai:repositorio.uniandes.edu.co:1992/45294

Acceso en línea:

http://hdl.handle.net/1992/45294

Palabra clave:

Categorías (Matemáticas)
Complejidad computacional
Matemáticas en procesamiento electrónico de datos
Matemáticas

Rights

openAccess

License

http://creativecommons.org/licenses/by-nc-sa/4.0/