A Sheaf Model of the Algebraic Closure
Paper in proceeding, 2014
Author
Bassel Mannaa
University of Gothenburg
Thierry Coquand
University of Gothenburg
Proceedings Fifth International Workshop on Classical Logic and Computation (CL&C 2014), Vienna, Austria, July 13, 2014, EPTCS
2075-2180 (ISSN)
Vol. 164 18-32Subject Categories
Algebra and Logic
Computer Science