Gelfand spectra in Grothendieck toposes using geometric mathematics

Thumbnail Image

Date

2014

Authors

Spitters, B.
Vickers, S.
Wolters, S.A.M. Sander

Journal Title

Journal ISSN

Volume Title

Publisher

S.l. : EPTCS

Research Projects

Organizational Units

Journal Issue

Abstract

Description

Keywords

Electronic Proceedings in Theoretical Computer Science

Citation

URI

https://hdl.handle.net/2066/130200

Collections

Academic research output

Endorsement

Review

Supplemented By

Referenced By