Works
Notes
- Mikrokosmos - A tutorial on lambda calculus
- Introducción a categorías - Apuntes introductorios con las definiciones básicas
- Álgebra conmutativa y computacional - Notas de clase
- Análisis funcional - Notas de clase
- Álgebra III - Notas de clase
- Grupos y representaciones - Notas de clase
- Topología II - Notas de clase
- Inferencia estadística - Notas de clase
Slides
- Categorías y funtores - Seminario sobre categorías. Noviembre de 2017
- Cálculo lambda no tipado - Notas de introducción al cálculo lambda. Octubre de 2017
- Introducción a Emacs - Seminarios de LibreIM. Octubre de 2016