Type Theory Forall

Pedro Abreu
Type Theory Forall

An accessible podcast about Type Theory, Programming Languages Research and related topics.

Ratings & Reviews

5
out of 5
10 Ratings

About

An accessible podcast about Type Theory, Programming Languages Research and related topics.

You Might Also Like

To listen to explicit episodes, sign in.

Stay up to date with this show

Sign in or sign up to follow shows, save episodes, and get the latest updates.

Select a country or region

Africa, Middle East, and India

Asia Pacific

Europe

Latin America and the Caribbean

The United States and Canada