W. Moczydlowski, "A Dependent Set Theory," 2007 22nd Annual IEEE Symposium on Logic in Computer Science(LICS), Wroclaw, 2007, pp. 23-34.
doi:10.1109/LICS.2007.7
keywords:{null},
url:doi.ieeecomputersociety.org/10.1109/LICS.2007.7