Community‑funded • No ads • Independent
Support Type Theory Forall
If our conversations about type theory, proof assistants, and the people behind them have helped you learn or find your research path, please consider backing the project. Your support keeps episodes flowing, transcripts improving, and new initiatives alive.
You’ll be redirected to Patreon. You can cancel anytime.
Membership tiers
Simply Typed Lambda Calculus
$5.00Starter tier with Discord access, your name in the credits, and a special Patreon role.
System F
$10.00Everything from STLC, plus private reflections and behind‑the‑scenes content.
System Fω
$35.00Adds access to future plans/interview dates and a channel to submit guest questions.
CIC
$100.00All previous benefits, plus a monthly 1‑hour personal meeting.
Members‑only episodes
Deep‑dive chats, post‑show reflections, and experimental formats you’ve asked for.
Submit questions for upcoming guests
Directly shape the conversations that happen on the podcast.
Community first
Patrons help steer topics, guests, and live Q&As — shaping the future of TTForall.
- No ads, no sponsors in members‑only content.
- Supports transcripts, chaptering, and tooling for Lean/Coq demos.
- Helps fund student scholarships and mentorship office hours.
- Keeps the editorial line independent and community‑driven.
Prefer a one‑off tip?
If a recurring membership isn’t your thing, you can support the show with a one‑time tip via Ko‑fi. It’s quick and helps cover hosting, editing, and the little details that make episodes shine.
ko-fi.com/typetheoryforall
Where your support goes
- Studio & recording upgrades
- Professional editing & mastering
- Student mentorship & community events
Join the patrons making Type Theory Forall possible
We’re building an independent, generous community around deep conversations in logic, mathematics, and PL. If that’s your vibe, we’d love to have you.
