Nao Hirokawa visiting

Nao Hirokawa from the Japan Advanced Institute of Science and Technology (JAIST) is visiting Swansea from 15 to 17 March. Nao is an expert in Term rewriting theory.

The abstract of his seminar talk about Basic Normalization on Thursday, 15 March can be found here.