Sciweavers

FUIN
2008

Realizability of the Axiom of Choice in HOL. (An Analysis of Krivine's Work)

14 years 19 days ago
Realizability of the Axiom of Choice in HOL. (An Analysis of Krivine's Work)
Christophe Raffalli, Frédéric Ruyer
Added 10 Dec 2010
Updated 10 Dec 2010
Type Journal
Year 2008
Where FUIN
Authors Christophe Raffalli, Frédéric Ruyer
Comments (0)