What is PLUS times PLUS?

Why it was recommended

I also liked the one on lambda calculus.

Recommendationcontraposit · Original2026-04

What it covers

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. It is for someone meeting the subject for the first time.

Video details

Channel

2swap

Length

28 min 28 sec

Year

2025

More in this topic

• Ruby Conf 12 - Y Not- Adventures in Functional Programming by Jim Weirich
• 28c3: The Science of Insecurity
• "Propositions as Types" by Philip Wadler
• Break Me00 The MoVfuscator Turning mov into a soul crushing RE nightmare Christopher Domas
• Math's Fundamental Flaw
• On The Turing Completeness of PowerPoint (SIGBOVIK)