Game characterizations and lower cones in the Weihrauch degrees Hugo Nobrega 2/8/2019 PDF Citação Hugo Nobrega Professor