Projects

Thesis Title

Conversion and Rewriting Systems for Dependent Types
Miguel Pagano