rudimentary linear logic, see [21]. Definition 5.1. The system RLL, for intuitionistic Rudimentary ... sentence without discussing it with his colleagues and ...
確定! 回上一頁