Categorial Formalism
method
ID: categorialformalism
Entity Details
Basic Information
Entity ID
categorialformalism
Entity Type
Method
English Label
Categorial Formalism
Russian Label
Категориальный формализм
Kazakh Label
Категориялық формализм
Frequency
1
Description
English Description
A new categorial formalism based on intuitionistic linear logic.
Russian Description
-
Kazakh Description
-