Ontify
⌘
S
⌘
S
Linear Logic - Ontify
Share
Linear Logic
System of resource-aware logic.
Wikipedia | Linear Logic
External Pages About Linear Logic
Google Knowledge Graph
Statements about
Linear Logic
Discoverer or Inventor
Jean-Yves Girard
Wikidata
