Tag: variable elimination

Combinator in Combinatory Logic

A combinator is a fundamental function or expression in combinatory logic. It…

Bossmind