Inductively generated formal topologies

This publication has 9 references indexed in Scilit:

• On the formal points of the formal topology of the binary tree
  Archive for Mathematical Logic, 2002
• Continuous domains as formal spaces
  Mathematical Structures in Computer Science, 2002
• About Effective Quotients in Constructive Type Theory
  Published by Springer Nature ,1999
• Tychonoff's theorem in the framework of formal topologies
  The Journal of Symbolic Logic, 1997
• Constructive domain theory as a branch of intuitionistic pointfree topology
  Theoretical Computer Science, 1996
• Inductive families
  Formal Aspects of Computing, 1994
• An intuitionistic proof of Tychonoff's theorem
  The Journal of Symbolic Logic, 1992
• An extension of the Galois theory of Grothendieck
  Memoirs of the American Mathematical Society, 1984
• Open locales and exponentiation
  Contemporary Mathematics, 1984