John C. Simms

Covering Hyperspace with Hypercurves

John C. Simms, 1991, Math. Log. Q..

Traditional Cavalieri principles applied to the modern notion of area

John C. Simms, 1989, J. Philos. Log..

Another Characterization of Alephs: Decompositions of Hyperspace

John C. Simms, 1997, Notre Dame J. Formal Log..