| Заглавие | AFFINE APPLICATIONS IN OPERATIVE SPACES |
| Вид публикация | Journal Article |
| Година на публикуване | 2005 |
| Автори | Zashev J |
| Списание | Annuaire de l’Université de Sofia “St. Kliment Ohridski”. Faculté de Mathématiques et Informatique |
| Том | 97 |
| ключови думи | Algebraic recursion theory, combinatory logic, linear logic |
| Резюме | 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 |
| Прикачен файл | Размер |
|---|---|
 0497.pdf | 54.41 KB |
| Прикачен файл | Размер |
|---|---|
| 97-063-079.pdf | 1.95 MB |