S Combinator is Injective

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

Leave a Comment

Your email address will not be published.