共 35 条
[1]
Abramsky S., 1993, Mathematical Structures in Computer Science, V3, P161, DOI 10.1017/S0960129500000189
[2]
Adamek J., 1990, ABSTRACT CONCRETE CA
[3]
ANDERSON F., 1992, Rings and Categories of Modules
[4]
Birkhoff G., 1940, LATTICE THEORY AM MA