Publications

A study of normalisation through subatomic logic, Thesis 2016.

Advertisements