A Notion of Homotopy for the Effective Topos (2010)

by Jaap Van Oosten