P bi-CCC (1, X,0, +, =) Pop C bi-CCC (1, x, 0, +, =) ". ... TT(S)-closed objects form a full reflective sub bi-CCC PTT") of P, and U o l ; PTT") → C is a ...
確定! 回上一頁