A topos for algebraic quantum theory (0)

by C Heunen, N P Landsman, B Spitters