@article{ea27a6b3d15a4f1bace247495b6c7cda,
title = "Reverse mathematics and uniformity in proofs without excluded middle",
keywords = "reverse mathematics, proof theory, Dialectica, realizability, uniformization",
author = "Hirst, \{Jeffry L.\} and Carl Mummert",
note = "J. L. Hirst and C. Mummert, Reverse mathematics and uniformity in proofs without excluded middle, Notre Dame Journal of Formal Logic 52 (2011), no. 2, 149-162. https://doi.org/10.1215/00294527-1306163",
year = "2011",
month = jan,
day = "1",
language = "American English",
journal = "Mathematics Faculty Research",
}