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

Статья

Model structures on categories of models of type theories

Mathematical Structures in Computer Science. 2018. Vol. 28. No. 10. P. 1695-1722.
Valery Isaev.