Constructive algebraic integration theory without choice”, in Mathematics, Algorithms and Proofs (2005)

by Bas Spitters
Venue:Dagstuhl Seminar Proceedings, 05021, Internationales Begegnungs und Forschungszentrum (IBFI), Schloss Dagstuhl