Orthomodularity in dagger biproduct categories. John Harding. Abstract. Abramsky and Coecke [2] have recently introduced an approach to finite.
確定! 回上一頁