Navigation
Logic Group Preprint Series
'
Logic Group Preprint Series
Skip to content
Coquand, T.
Volume
Title
116
On the computational content of the Axiom of Choice
Berardi, S.
|
Bezem, Marc
|
Coquand, T.
Online