Indeed. This encoding is due to church (http://en.wikipedia.org/wiki/Church_encoding).