Inductively generated formal topologies
Journal article, 2003
predicative systems
formal topology
inductive definitions
Author
Thierry Coquand
University of Gothenburg
G. Sambin
University of Padua
Jan Smith
Chalmers, Department of Computing Science
S. Valentini
University of Padua
Annals of Pure and Applied Logic
0168-0072 (ISSN)
Vol. 124 1-3 71-106Subject Categories
Computer and Information Science
DOI
10.1016/S0168-0072(03)00052-6