Great

aboutlogic #05 | Steve Awodey – Homotopy Type Theory, Logic & Philosophy

podcast_episode https://aboutlogic.podigee.io/feed/mp3#b57b92536ce145ea06861f99734c68ea

Ranked

• podcast_episodes
  no. 1011 of 3794 — score +0.00 ± 1.00

Diary

• May 19, 2026 consumed

External

feed_url

https://aboutlogic.podigee.io/feed/mp3

guid

b57b92536ce145ea06861f99734c68ea

Metadata

parent_title

aboutlogic

duration_ms

3098253

image_url

https://images.podigee-cdn.net/0x,sMZaR3q4ZIBdLWUJKTuirkTGmhrjsa9Wu7jaPuPSBE50=/https://main.podigee-cdn.net/uploads/u81283/0609e8de-6cd3-42f5-9a14-3d7700483efd.jpg