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

from Type Theory Forall · host Pedro Abreu

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

Episode metadata supplied by the publisher feed · Published Dec 23, 2020

Embed this episode

Attribution link and audio player

NOW PLAYING

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

0:00 57:56

1×

No transcript for this episode yet

We transcribe on demand. Request one and we'll notify you when it's ready — usually under 10 minutes.

Share this episode

Similar Episodes

No similar episodes found.

Similar Podcasts

No similar podcasts found.

Frequently Asked Questions

How long is this episode of Type Theory Forall?

This episode is 57 minutes long.

When was this Type Theory Forall episode published?

This episode was published on December 23, 2020.

Can I download this Type Theory Forall episode?

Yes. Use the download control on the episode player to save the publisher-provided media file.

URL copied to clipboard!