(Q72735794)

English

linear typing

type discipline where every variable is used exactly once

linear type systems
linear
linear typing system
linearly typed

In more languages

Statements

substructural type system

0 references

manifestation of

closed monoidal category

1 reference

Wikimedia import URL

https://en.wikipedia.org/w/index.php?title=Substructural_type_system&oldid=1071691839#Linear_type_systems

Sitelinks

Wikipedia(0 entries)

Wikibooks(0 entries)

Wikinews(0 entries)

Wikiquote(0 entries)

Wikisource(0 entries)

Wikiversity(0 entries)

Wikivoyage(0 entries)

Wiktionary(0 entries)

Multilingual sites(0 entries)

Retrieved from "https://www.wikidata.org/w/index.php?title=Q72735794&oldid=1579743902"