Search results
Jump to navigation
Jump to search
- ...://en.wikipedia.org/wiki/Lambda_calculus lambda calculus] invented by John Tromp. BBλ(n) = the maximum normal form size of any closed lambda term of size n Size is measured in bits using [https://tromp.github.io/cl/Binary_lambda_calculus.html Binary Lambda Calculus] which is a ...15 KB (2,018 words) - 11:29, 15 August 2025
- *John Tromp introduced the <math>BB \lambda _1(n)</math> function for [[Busy Beaver for ...930 bytes (137 words) - 21:24, 18 August 2025