S Combinator is Injective
Written on June 19, 2007
Do you know that the S combinator is injective? I have a simple algebraic proof and Nakano actually constructed its inverse.
Filed in: Research Blog.
Tags: λ calculus.
- Inv »
Research Blog of 穆信成 Shin-Cheng Mu
Written on June 19, 2007
Do you know that the S combinator is injective? I have a simple algebraic proof and Nakano actually constructed its inverse.
Filed in: Research Blog.
Tags: λ calculus.