Player FM uygulamasıyla çevrimdışı Player FM !
#1 What is PL research? - Prof. Ben Delaware
Manage episode 420953645 series 2951423
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
82 bölüm
Manage episode 420953645 series 2951423
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
82 bölüm
Alle episoder
×Player FM'e Hoş Geldiniz!
Player FM şu anda sizin için internetteki yüksek kalitedeki podcast'leri arıyor. En iyi podcast uygulaması ve Android, iPhone ve internet üzerinde çalışıyor. Aboneliklerinizi cihazlar arasında eş zamanlamak için üye olun.