Gleaming the Lambda Cube with Nathan Mull

from Picture Me Coding · host Erik Aker and Mike Mull

This week Nathan Mull, a type theorist and CS Professor at Boston University, came on the show to help Mike and Erik understand what the phrase "Propositions as Types" is all about. This is an idea about how programs are connected to logic and mathematical proofs, whether we want them to be or not! You know that program that orders pizza from Dominos?! Yes, even that program is a proof of something. Find out what it proves on this episode of Picture Me Coding!LinksNathan Mull's personal site 2014 Philip Wadler Paper: Propositions as Types2016 Strangeloop Conference recording (Youtube): "Propositions as Types" by Philip WadlerSend us Fan Mail

What this episode covers

NOW PLAYING

0:00 1:26:13

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

The Field 38 Glory to God!

Mar 3, 2026 ·44m

The Field 37 Weakened Christianity

Feb 21, 2026 ·30m

The Field 36 The Conversation Continues

Dec 17, 2025 ·30m

The Field 35 Conversation between a Monk and Layman

Dec 11, 2025 ·26m

The Field 34 The Cup of Christ!

Dec 11, 2025 ·29m

Episode 31 Chapter 27 Rule for Laypeople

Dec 11, 2025 ·33m

Similar Podcasts

The Field Priest Methodius Chwastek The Field is a place of cultivation and of battle. In the Church, we learn to cultivate a life pleasing to God. This life is shaped in the spiritual battle. This series examines, chapter by chapter, the Christian classic The Field, by Saint Ignatius Brianchaninov. Please join me as I explain this great work in terms the modern Orthodox Christian can understand. Leading From All Sides Abbie Mirata Discover the various styles of leadership, from leading at the forefront to steering from behind, rising to the top or empowering from the bottom. We'll explore horizontal and vertical leadership, leading through your brand, and even leading in your most intimate relationships. Join me in engaging conversations with special guests who are leaders in their careers, communities, and families. Gain insights, perspectives, and invaluable lessons that challenge traditional notions of what it means to lead. Take Me Off Your List Pitchfire Ryan O'Hara, CEO and founder of Pitchfire dives into the wild world of B2B marketing, demand generation, sales, and all things go-to-market with the help of some friends. Sponsored by Pitchfire. Sign up for free: https://www.pitchfire.com Think Positive: Daily Affirmations Dachia Arritola The DogMom You've heard of affirmations, but have you used them successfully? Join me daily and I'll guide you through a very simple and brief activity where I'll give you a couple affirmations, a question to ask yourself and quote, all designed particularly for the person whose goal is to live at 100%. Affirmations work best when they are done regularly. Daily-if not a few times a day. I've also created a Podcast Companion book where you can keep all your affirmations and questions and quotes. A new book is published every 4 months. You can find a link to that podcast companion book on my website Dachia.com I also have a series of hiking videos designed for people who don't have such scenery to watch in their homes. And another series of videos designed to help regular person create their perfect refuge.All of these are parts of the big picture of Living at 100%.

Frequently Asked Questions

How long is this episode of Picture Me Coding?

This episode is 1 hour and 26 minutes long.

When was this Picture Me Coding episode published?

This episode was published on January 15, 2025.

What is this episode about?

Can I download this Picture Me Coding episode?

Yes, you can download this episode by clicking the download button on the episode player, or subscribe to the podcast in your preferred podcast app for automatic downloads.

URL copied to clipboard!