In this seminar, we shall introduce semi-infinite manifolds and show how one may define cohomology theories dependent on this semi-infinite structure. In particular, we shall define a de Rham theory. With certain alterations, this is calculable for Wiener manifolds. The goal, however, is to calculate the theory for loop spaces and this is, as yet, an unsolved problem.