|
|||||
|
|
Applications of Linear Logic to Computation: An Overview |
|
| Authors: | ALEXIEV VLADIMIR |
| Institution: | Department of Compttting Science, University of Alberta, Edmonton, AB, T6G 2H1 Canada E-mail: vladimir{at}cs.ualberta.ca |
| Abstract: | |
| Keywords: | |
| 本文献已被 Oxford 等数据库收录！ | |