Sign in

A Sheaf Model of the Algebraic Closure.

Bassel MannaaThierry Coquand
Published in: CL&C (2014)
Keyphrases