共 50 条
- [3] FUNDAMENTAL U-THEORY OF TIME. PART 1 [J]. PHILOSOPHY AND COSMOLOGY-FILOSOFIYA I KOSMOLOGIYA, 2016, 16 : 53 - 64
- [4] A COHOMOLOGY THEORY FOR THE EXACT CATEGORIES [J]. COMPTES RENDUS DE L ACADEMIE DES SCIENCES SERIE I-MATHEMATIQUE, 1986, 303 (05): : 173 - 176
- [8] Type theory via exact categories extended abstract [J]. THIRTEENTH ANNUAL IEEE SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE, PROCEEDINGS, 1998, : 188 - 198
- [9] On the K-theory of hermitian additive and exact categories [J]. COMPTES RENDUS DE L ACADEMIE DES SCIENCES SERIE I-MATHEMATIQUE, 1999, 329 (06): : 469 - 474