 The original system was shown to be logically inconsistent in 1935 when Stephen Kleene and J.B. Rosser developed the Kleene–Rosser paradox.Subsequently, in 1936 Church isolated and published just the portion relevant to computation, what is now called the untyped lambda calculus.