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

Статья

Geometrical semantics for linear logic (multiplicative fragment)

Theoretical Computer Science. 2006. Vol. 357. No. 1-3. P. 215-229.