Basados en las clases del profesor Alberto de la Encina Vara de la asignatura Teoría de la Programación del grado en Matemáticas UCM para el curso 2020-21 y en el libro Semantics with Applications de Flemming Nielson y Hanne Riis Nielson.
- González Vaquero, Eduardo
- Lobato de la Cruz, Pablo
- Muñoz Pérez, Miguel