A Sheaf Model of the Algebraic Closure
Paper i proceeding, 2014
Författare
Bassel Mannaa
Göteborgs universitet
Thierry Coquand
Göteborgs universitet
Proceedings Fifth International Workshop on Classical Logic and Computation (CL&C 2014), Vienna, Austria, July 13, 2014, EPTCS
2075-2180 (ISSN)
Vol. 164 18-32Ämneskategorier
Algebra och logik
Datavetenskap (datalogi)