Preface of special issue on formal topology
Journal article, 2006
Author
Thierry Coquand
University of Gothenburg
Giovanni Sambin
Published in
Annals of Pure and Applied Logic
Vol. 137 Issue 1-3 p. 1-2
Categorizing
Subject Categories (SSIF 2011)
Algebra and Logic