$\lambda$-calculus" It provides the semantics for computation with functions so that properties of functional computation can be studied. Both the languages require declaration before use of any object. Both are procedural. So option (4) is correct. Both the languages are based on $\lambda$ calculus, procedural & declarative