Curry%27s paradox#Lambda calculus with restricted minimal logic