Iniciativa IMDEA
La información de esta página podría estar desactualizada debido a que Pablo Nogueira no es actualmente miembro del Instituto.
Lambda calculi, program transformation, operational semantics, and functional programming.