2 ms·

"Bounded Factorization Domain" apparently https://en.wikipedia.org/wiki/Atomic_domain#Special_cases https://en.wikipedia.org/wiki/Atomic_domain#Special_cases

by tome 6y ago

"Bounded Factorization Domain" apparently https://en.wikipedia.org/wiki/Atomic_domain#Special_cases https://en.wikipedia.org/wiki/Atomic_domain#Special_cases This is a pretty hilarious misinterpretation > "Lambda calculus is a bounded factorization domain in the subfield of programming languages. What's the problem?"