Affine applications in operative spaces

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.

Annotation in PDF format: (PDF document 54Kb)