In Connes's book on noncommutative geometry, he outlines a rather short "algebraic" proof of the Gauss-Bonnet theorem that uses multilinear forms. (Start reading on page 19 of the book) This is given as motivation for cyclic cohomology.
Where can I find a fleshed-out version of this proof?