We sketch a tentative proof of P-completeness for the β-convertibility problem on untyped planar (a.k.a. ordered or non-commutative) λ-terms.
No takes yet. Share an insight, caveat, or question.
Das et al. (2024) studied this question.
Synapse has enriched 5 closely related papers on similar clinical questions. Consider them for comparative context: