|
|||||
|
|
Natural Deduction and Weak Normalization for Full Linear Logic |
|
| Authors: | Martins Lilia Ramalho; Martins Ana Teresa |
| Institution: | 1 Departamento de Ciência da Computacção, Universidade Federal do Ceraá, C.P. 12.166, Fortaleza-Ce, Brazil. E-mail: lilia{at}lia.ufc.br, 2 Departamento de Ciência da Computacção, Universidade Federal do Ceraá, C.P. 12.166, Fortaleza-Ce, Brazil. E-mail: ana{at}lia.ufc.br |
| Abstract: | |
| Keywords: | Full Linear Logic Natural Deduction Proof Theory Normalization |
| 本文献已被 Oxford 等数据库收录！ | |