linear typing

type discipline where every variable is used exactly once

Wikidata entity: Q72735794



P1557 manifestation of ... Q5135347 (closed monoidal category) closed monoidal category
P1813 short name Monolingualtext linear ???
P279 subclass of ... Q7632172 (substructural type system) substructural type system

Why not click here or view trends?

log id: 1778393