  Recent results on the linearity of braid groups are extended in two ways. We
generalize the Lawrence Krammer representation as well as Krammer's
faithfulness proof for this linear representation to Artin groups of finite
type.
