Type Theory and Mathematical Logic

The author works on a project in the area of Mathematical Logic and Applied Type Theory.