Unbounded local completely contractive maps

We prove a local convex version of Arveson’s extension theorem and of Wittstock’s extension theorem. Also we prove a Stinespring type theorem for unbounded local completely contractive maps.