La Universidad McMaster es una universidad de tamaño medio de investigación intensiva situada en Hamilton, Ontario, Canadá, con una matriculación de 18.238 estudiantes a tiempo completo y 3.836 a tiempo parcial.
PLFA: introducción a la teoría de lenguajes de programación con Agda
PLFA (Programming Language Foundations in Agda) es un libro de texto académico que introduce la teoría de los lenguajes de programación utilizando el asistente de pruebas Agda. Su objetivo principal es proporcionar una base formal rigurosa para conceptos fundamentales como los números naturales, la
