Категориальный формализм
method
ID: categorialformalism
Детали сущности
Основная информация
ID сущности
categorialformalism
Тип сущности
Method
Английская метка
Categorial Formalism
Русская метка
Категориальный формализм
Казахская метка
Категориялық формализм
Частота
1
Описание
Английское описание
A new categorial formalism based on intuitionistic linear logic.
Русское описание
-
Казахское описание
-