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