I apologize in advance if this is too elementary for this forum. I have received some help but am still unsure about how to proceed. I am interested in a proof of the following result due to John Milnor: If X is a countable CW complex then the pointed loop space of X (with the compact open topology) has the homotopy type of a CW complex. I have consulted Milnor's "on spaces having the homotopy type of a CW complex" but it references articles I was unable to find after determined searches on google scholar. Does anyone know of a self-contained exposition of this result?