|
|||||
|
|
Interaction Net Implementation of Additive and Multiplicative Structures |
|
| Authors: | Mackie Ian |
| Affiliation: | Department of Computer Science, King's College London, Strand, London WC2R 2LS, UK. E-mail: ian{at}dcs.kcl.ac.uk |
| Abstract: | |
| Keywords: | Interaction nets linear logic data types |
| 本文献已被 Oxford 等数据库收录！ | |