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

Статья

Deep inference and probabilistic coherence spaces

Applied Categorical Structures. 2012. Vol. 20. No. 3. P. 209-228.
Blute R., Panangaden P., Slavnov Sergey.