ZARZA We are Zarza, the prestigious firm behind major projects in information technology.
Listen "Gleaming the Lambda Cube with Nathan Mull"
Episode Synopsis
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 a text
More episodes of the podcast Picture Me Coding
Salesforce and Low-Code with Kyle Willcox
10/12/2025
The Turing Test
29/10/2025
Ubiquitous Computing
15/10/2025
The Two Problems With Regular Expressions
01/10/2025
The History of Unix: Part 1
04/09/2025
Space, Time, and Squishy Pebbles
20/08/2025
In God we trust