A theory of type theories

Project Details

Short titleA theory of type theories
StatusFinished
Effective start/end date1/03/2031/08/22

Funding

  • Engineering & Physical Science Research Council