Describes some foundational aspects of 'Lawson homology' for complex projective algebraic varieties, a homology theory defined in terms of homotopy groups of spaces of algebraic cycles. This work studies properties of Chow varieties, especially in connection with algebraic correspondences relating algebraic varieties.