Gelfand Spectra in Grothendieck Toposes using Geometric Mathematics

Bas Spitters, Steven Vickers, Sander Wolters

Computer Science

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

2 Citations (Scopus)

160 Downloads (Pure)

1 results

Filter

Finished
Applications of geometric logic to topos approaches to quantum theory
Vickers, S.
Engineering & Physical Science Research Council
1/09/09 → 31/08/12
Project: Research Councils