Formal and Functional approaches