Go to the corresponding Portal 
pdfformat: 

@InProceedings{spitters:DagSemProc.05021.9, author = {Spitters, Bas}, title = {{Constructive algebraic integration theory without choice}}, booktitle = {Mathematics, Algorithms, Proofs}, pages = {113}, series = {Dagstuhl Seminar Proceedings (DagSemProc)}, ISSN = {18624405}, year = {2006}, volume = {5021}, editor = {Thierry Coquand and Henri Lombardi and MarieFran\c{c}oise Roy}, publisher = {Schloss Dagstuhl  LeibnizZentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/opus/volltexte/2006/290}, URN = {urn:nbn:de:0030drops2905}, doi = {10.4230/DagSemProc.05021.9}, annote = {Keywords: Algebraic integration theory, spectral theorem, choiceless constructive mathematics, pointfree topology} }
Keywords:  Algebraic integration theory, spectral theorem, choiceless constructive mathematics, pointfree topology  
Collection:  05021  Mathematics, Algorithms, Proofs  
Issue Date:  2006  
Date of publication:  16.01.2006 