The universe in a single arrow: A live dive into the lambda calculus

Anjana Vakil @ JSHeroes 2019