English

English Español Français Italiano Português Русский العربية 한국어 中文日本語

EntityQ841728· pop 12· linked from 149 articles

linear logic

Sign in to save

system of resource-aware logic

Wikidata facts

Show 2 more facts

discoverer or inventor: Jean-Yves Girard
Commons category: Linear logic

Sources (2)

via Wikidata · CC0

Available in 12 languages

via Wikidata sitelinks · CC0