Do you know that the S combinator is injective? I have a simple algebraic proof and Nakano actually constructed its inverse.

# S Combinator is Injective

Leave a reply

Leave a reply

Do you know that the S combinator is injective? I have a simple algebraic proof and Nakano actually constructed its inverse.