• A
  • A
  • A
  • АБB
  • АБB
  • АБB
  • А
  • А
  • А
  • А
  • А
Обычная версия сайта

Статья

The Univalence Axiom in posetal model categories.

Journal of Logic and Computation. 2015. Vol. 25. No. 3. P. 669-682.
Gavrilovich M., Hasson A., Kaplan I.