If Church numerals’ unary representation bothers you, there is an efficient embedding of naturals in λ-calculus as linked lists of Booleans. Well, more efficien

If Church numerals’ unary representation bothers you, there is an efficient embedding of naturals in λ-calculus as linked lists of Booleans. Well, more efficient than the alternative… http://useless-factor.blogspot.com/2007/04/thoughts-on-church-numerals.html http://useless-factor.blogspot.com/2007/04/thoughts-on-churc...