A topos for algebraic quantum theory (2009)

by C Heunen, N Landsman, B Spitters
Venue:Communications in Mathematical Physics