Logo

Type Theory Forall

Type Theory much beyond inference rules

Episode image

#1 What is PL research?

Prof. Ben Delaware

Dec 23rd 2020   |  58 min
0:00
0:00

In this episode we host Prof. Benjamin Delaware from Purdue University to discuss and try to answer some basic questions related to PL research:

What is PL research?

Why does it matter?

Why is it cool?

What is Lambda Calculus?

What is Type Theory?

Church-Turing Thesis?

Curry-Howard Correspondence?

What are proof assistants? Why are they cool?

Don’t forget to follow Ben on twitter @GhostofBendy