TY - RPRT TI - Finite $\mathbf{BM}$-algebras and fixed-point combinators AU - Takuma Imamura PY - 2026 UR - https://arxiv.org/abs/2610.37108 ID - 2610.37108 ER -