A Note on Maxima in Random Walks. - Joseph Helfer; Daniel T. Wise (Electron. J. Comb., 2016)

First-order Homotopical Logic. - Joseph Helfer (J. Symb. Log., 2025)