What is PLUS times PLUS?
2swap在 YouTube 播放 ↗
档案导读
2swap explores lambda calculus using John Tromp's lambda diagrams, with animated beta-reductions, asking what PLUS times PLUS gives. It touches on Church encodings and the equivalence of Turing machines and lambda calculus.
档案英文原文 · 来自 HackerTube 开放档案，暂未收录字幕分析。