Constructive algebraic integration theory without choice (2005)

by Bas Spitters
Venue:Mathematics, Algorithms, Proofs, number 05021 in Dagstuhl Seminar Proceedings. Internationales Begegnungs- und Forschungszentrum (IBFI), Schloss Dagstuhl