3 ms·Robert Harper Type Theory you can find it on YouTubeby bbcbasic 10y agoRobert Harper Type Theory you can find it on YouTube