Inductively generated formal topologies (2003)

by Thierry Coquand, Giovanni Sambin, Jan Smith, Silvio Valentini
Venue:Ann. Pure Appl. Logic