nLab
Harley Eades

Selected writings

Selected writings

On type theory and verified programming:

category: people

Created on May 12, 2021 at 08:21:53. See the history of this page for a list of all contributions to it.