the hardest problem in type theory computerphile

Name: the hardest problem in type theory computerphile
Uploaded: Jul 30, 2021
Description: the hardest problem in type theory computerphile