Difference between function $f$ in eval and dec of homomorphic authenticated encryption
The key-word "authenticated" mean that Dec is has not just a decrypting functionality. It should also check the validity of the computation made. that's why it takes as input the function $f$. Read more in details the paragraph "4.4 Authenticity".