Inductively generated formal topologies (2003)

by T Coquand, G Sambin, J Smith, S Valentini
Venue:Ann. Pure Appl. Logic