Itô Formula for Free Stochastic Integrals

The objects under investigation are the stochastic integrals with respect to free Lévy processes. We define such integrals for square-integrable integrands, as well as for a certain general class of bounded integrands. Using the product form of the Itô formula, we prove the full functional Itô formula in this context.