A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2022; you can also visit the original URL.
The file type is
Within Martin-Lőf type theory (), G. Sambin initiated the intuitionistic formal topology which includes Scott algebraic domain theory as a special case (unary formal topology) (). In  , he introduced the notions of (algebraic) information base and translation, and proved the equivalence between the category of (algebraic) information bases and the category of (algebraic) Scott domains. In , B. Ganter, R. Wille initiated formal concept analysis, which is an order-theoretical analysisdblp:conf/cla/ChenL05 fatcat:c7wtkcypizg4tak2c677gasywa