Constructing a small category of setoids. WILANDER, OLOV. Mathematical Structures in Computer Science: MSCS; Cambridge Vol. 22, Iss. 1, (Feb 2012): 103-121.
確定! 回上一頁