Validaciones semanticas para las funciones