Bas Spitters

Publikation

Publikationer pr. år 2006 2016 2018 2020 2021 2024

• 17 Konferencebidrag i proceedings
• 10 Tidsskriftartikel
• 7 Udgivelser på nettet - Net-publikation
• 4 Konferenceabstrakt til konference
• 13 Mere
  • 4 Working paper
  • 3 Preprint
  • 2 Bidrag til bog/antologi
  • 2 Paper
  • 2 Konferenceartikel

Publikationer pr. år

Publikationer pr. år

Søgeresultater

• 2014

  Gelfand spectra in Grothendieck toposes using geometric mathematics

  Spitters, B., Vickers, S. & Wolters, S., 1 jan. 2014, I: Electronic Proceedings in Theoretical Computer Science, EPTCS. 158, s. 77-107 31 s.

  Publikation: Bidrag til tidsskrift/Konferencebidrag i tidsskrift /Bidrag til avis › Konferenceartikel › Forskning › peer review

  • Mathematics 100%
  • Grothendieck 100%
  • Topos 100%
  • C-Algebras 28%
  • Functor 14%
  3 Citationer (Scopus)
• 2006

  Constructive algebraic integration theory without choice

  Spitters, B., 2006, I: Dagstuhl Seminar Proceedings. 5021

  Publikation: Bidrag til tidsskrift/Konferencebidrag i tidsskrift /Bidrag til avis › Konferenceartikel › Forskning › peer review

  • Integration Theory 100%
  • Topos 66%
  • Type Theory 33%
  • Spectral Theorem 33%
  • Stone Representation Theorem 33%
  1 Citationer (Scopus)