<p>Responding to an email question from a listener, I explain how to derive a form of inconsistency from the assumption that True is related to False at type Bool.</p>

Responding to an email question from a listener, I explain how to derive a form of inconsistency from the assumption that True is related to False at type Bool.

Deriving disjointness of constructor ranges in RelTT

Aaron Stump talks about type theory, computational logic, and related topics in Computer Science on his short commute.

Share Deriving disjointness of constructor ranges in RelTT

Sign up to save your podcasts

Deriving disjointness of constructor ranges in RelTT

Deriving disjointness of constructor ranges in RelTT

More shows like Iowa Type Theory Commute

The Changelog: Software Development, Open Source

Sean Carroll's Mindscape: Science, Society, Philosophy, Culture, Arts, and Ideas

Interesting Times with Ross Douthat

Tech Won't Save Us

Dwarkesh Podcast

The Ezra Klein Show

The Haskell Interlude

Software Unscripted

Oxide and Friends