nLab Bas Spitters

 Publications

 Publications

  • Bas Spitters, Constructive algebraic integration theory, Annals of Pure and Applied Logic, Volume 137, Issues 1–3, January 2006, Pages 380-390 (pdf, doi:10.1016/j.apal.2005.05.031)

  • Bas Spitters, Constructive algebraic integration theory without choice. In Thierry Coquand, Henri Lombardi, Marie-Francoise Roy?, Mathematics, Algorithms, Proofs, 2005, Dagstuhl Seminar Proceedings 05021, Internationales Begegnungs- und Forschungszentrum (IBFI), Schloss Dagstuhl, Germany. (pdf)

category: people

Last revised on November 17, 2022 at 03:43:15. See the history of this page for a list of all contributions to it.