せんけいろんり
線形論理
1. linear logic
2. Linear logicLinear logic is a substructural logic proposed by Jean-Yves Girard as a refinement of classical and intuitionistic logic, joining the dualities of the former with many of the constructive properties of the latter.
Read “Linear logic” on English Wikipedia
Read “線形論理” on Japanese Wikipedia
Read “Linear logic” on DBpedia
Read “Linear logic” on English Wikipedia
Read “線形論理” on Japanese Wikipedia
Read “Linear logic” on DBpedia
Discussions
Log in to talk about this word.