INCLL

(redirected from Intuitionistic Non-Commutative Linear Logic)
AcronymDefinition
INCLLIntuitionistic Non-Commutative Linear Logic