All Stories

  1. Mass problems and intuitionistic higher-order logic

    Article • Computability, February 2016, IOS Press

    Sankha S Basu