pith. sign in

Title resolution pending

Choudhury, P · 2021 · DOI 10.1145/3434331

1 Pith paper cite this work. Polarity classification is still indexing.

1 Pith paper citing it
open at publisher browse 1 citing papers

Title metadata for this work has not finished resolving. The hub is built from the citation graph; the title resolver retries DOI and OpenAlex on its next pass.

fields

cs.LO 1

years

2026 1

verdicts

UNVERDICTED 1

representative citing papers

A unification of graded and substructural logics

cs.LO · 2026-05-16 · unverdicted · novelty 7.0

GRASS unifies graded and substructural type systems by supporting arbitrary collections of grade algebras and develops categorical semantics that subsumes LNL, Adjoint Logic, and mGL.

citing papers explorer

Showing 1 of 1 citing paper.

  • A unification of graded and substructural logics cs.LO · 2026-05-16 · unverdicted · none · ref 10

    GRASS unifies graded and substructural type systems by supporting arbitrary collections of grade algebras and develops categorical semantics that subsumes LNL, Adjoint Logic, and mGL.