共 7 条
[1]
[Anonymous], 1979, American Mathematical Society Colloquium Publications
[2]
Coquand T, 2003, LECT NOTES PURE APPL, V231, P477
[3]
DESALAS JBS, 1991, TOPOL APPL, V42, P25
[4]
Georgiou D. N., 2015, QUAESTIONES MA UNPUB
[5]
Gierz G., 2003, ENCYCL MATH
[6]
Roman S., 2008, Lattices and ordered sets
[7]
Vinokurov VG., 1966, SOVIET MATH DOKL, V168, P663