A Sheaf Model of the Algebraic Closure - Bassel Mannaa; Thierry Coquand (2014)