IMLL的全称：Intuitionistic Multiplicative Linear Logic | 中文意思：───直觉乘法线性逻辑
IMLL的全称：Introduction to Medieval Language and Literature | 中文意思：───介绍中世纪语言和文学
