nLab
Harley Eades

Selected writings

On type theory and verified programming:

category: people