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

Skip to content
# 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.