Bibliografía
The Formal Semantics of Programming Languages. An Intreduction. Glynn Winskel.
Program Construction. Calculating Implementations from Specifications. Roland BackHouse.
Prácticas
Práctica 5
Práctica 6
Práctica 7
Ejemplos
Examenes años anteriores