Type Theory Forall

#1 What is PL research? - Prof. Ben Delaware

Type Theory Forall

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

Next Episodes

Type Theory Forall

#1 What is PL research? - Prof. Ben Delaware @ Type Theory Forall

πŸ“† 2020-12-23 05:00 / βŒ› 00:57:55


Type Theory Forall

#0 Cool Internships in PL - Pedro Abreu @ Type Theory Forall

πŸ“† 2020-12-14 13:08 / βŒ› 00:31:59


Type Theory Forall

#0 Cool Internships in PL - Pedro Abreu @ Type Theory Forall

πŸ“† 2020-12-14 13:08 / βŒ› 00:31:59