Report - A Fibrational Framework for Substructural and Modal Logics€¦ · 4 Intuitionistic substructural and modal logics/type systems Linear/affine: use once (state, sessions) Relevant:

Select PornographicDefamatoryIllegal/UnlawfulSpamOther Terms Of Service ViolationFile a copyright complaint

Please pass captcha verification before submit form