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