bbc94

Stefano Berardi, Marc Bezem, Thierry Coquand. On the Computational Content of the Axiom of Choice. Research Report Utrecht University, Department of Philosopy, No 116, June 1994.

Keyword

[ Typetheory ]

Contact

Stefano Berardi
Marc Bezem
Thierry Coquand

BibTex Reference

@TechReport{bbc94,
   Author = {Berardi, Stefano and Bezem, Marc and Coquand, Thierry},
   Title = {On the Computational Content of the Axiom of Choice},
   Number = {116},
   Institution = {Utrecht University, Department of Philosopy},
   Month = {June},
   Year = {1994}
}

EndNote Reference [help]

Get EndNote Reference (.ref)