Intuitionistic Linear Logic with Subexponentials: Type Theory, Categorical Models and Realisability
直觉线性逻辑与子指数：类型论、范畴模型与可实现性
专题命中 BCI数据与评测 ：BCI(abstract,abstract_cn)
AI总结 本文提出了一种带有子指数的直觉线性逻辑类型论，并探讨了其范畴模型和可实现性理论。
科学与医疗
脑机接口 / BCI
脑机接口、EEG、神经信号解码、神经假体和脑控交互。
