Talk:F calculus

F is not a combinator. Corbin (talk) 15:05, 20 October 2025 (UTC)

Whats your definition of combinator? i dont know how its defined.C++DSUCKER (talk)

A combinator of rank n is a template that assembles n applicative trees into a single applicative tree. Notably, I think that a closed lambda term is not necessarily a combinator. The F operator is not a combinator because it does something with its input (deciding whether it has a normal form) that can't be done merely by assembling trees. (We know that we can't decide normal forms by assembling trees because we can't decide normal forms by any technique.) Corbin (talk) 16:27, 28 October 2025 (UTC)