| Title | AFFINE APPLICATIONS IN OPERATIVE SPACES |
| Publication Type | Journal Article |
| Year of Publication | 2005 |
| Authors | Zashev J |
| Journal | Annuaire de l’Université de Sofia “St. Kliment Ohridski”. Faculté de Mathématiques et Informatique |
| Volume | 97 |
| Keywords | Algebraic recursion theory, combinatory logic, linear logic |
| Abstract | We prove a new normal form theorem for a special kind of expressible mappings in operative spaces with iteration. As a consequence, this provides a large class of models for the type-free implicative linear logic and a natural connection between operative spaces and the systems of algebraic recursion theory based on the linear or affine application which were studied previously. |
| 2000 MSC | main 03D75, 03B40, secondary 03B47, 68N18 |
| Attachment | Size |
|---|---|
 0497.pdf | 54.41 KB |
| Attachment | Size |
|---|---|
| 97-063-079.pdf | 1.95 MB |