Computerphile

The Hardest Problem in Type Theory (2021x29)

Air date: Jul 30, 2021

Equality sounds a straightforward idea, but there are subtle problems in theoretical computer science. Professor Thorsten Altenkirch explains how his late friend Martin Hofmann solved one of the biggest problems.