IMDEA initiative
The information in this page may be outdated, as Pablo Nogueira is currently not a member of the Institute.
Lambda calculi, program transformation, operational semantics, and functional programming.