Let $X,Y$ be Banach spaces and $U$ be open in $X$. High-order Fréchet derivatives are defined inductively so that the n-th Fréchet-derivative of a function $F$ is $F^{(n)}:U\rightarrow L(X,L(X,....,L(X,Y))))..))$.
I'm now reading "Giovanni-A primer of nonlinear analysis" and this text says that we can view $L(X,L(X,...,L(X,Y))))..))$ as the space of multilinear maps $L_n(X^n,Y)$, but this text does not say how the space of multilinear maps can be a "normed space" (which norm?) in general. I want to know if there is a text introducing these.
Also, the general expression of the Fréchet-derivative of the composition of Fréchet differentiable functions doesn't look simple ( $D(g\circ f)(p)=Dg(f(p)) \circ Df(p)$ for each point $p$, hence the general function $D(g\circ f)$ cannot be expressed in basic operations). I have seen articles resolve this trouble by introducing tensor products, so that we view $L(X,L(X,....,L(X,Y))).....))$ as $L(\otimes_{i=1}^n X, Y)$. However, those articles also do not say how the tensor products can be a "normed space". (What norm is the most natural one?) I want to know this in general too.
What would be texts introducing these rigorously? I hope someone recommends me mutiple books. Thank you in advance :)
A nice textbook which introduces higher order Fréchet derivatives is "Differential Calculus" by Cartan.