|
|||||
|
|
Pretopology semantics for bimodal intuitionistic linear logic |
|
| Authors: | Hartonas C |
| Institution: | Department of Computer Science, University of Manchester, Manchester M13 9PL, UK. E-mail: hartonas@cs.man.ac.uk, chartona@cc.uoi.gr |
| Abstract: | |
| Keywords: | contraction and weakening modalities linear logic pretopology |
| 本文献已被 Oxford 等数据库收录！ | |