Inductively generated formal topologies (0)

by T Coquand, G Sambin, J Smith, S Valentini
Venue:Annals of Pure and Applied Logic 124, 2003