TubeSum

# Curry-Howard Correspondence

Browse 2 AI summaries and transcripts tagged with this topic.

Introducing Product, Sum and Equality Types: Spilling the HotT

13 hours ago

👁 212 🚀 16.0%

Introducing Type Theory: Spilling the Tea

13 hours ago

👁 948 🔥 4.2%