Opérateurs de mise en mémoire et types forall-positifs

  title={Op{\'e}rateurs de mise en m{\'e}moire et types forall-positifs},
  author={Karim Nour},
In 1990, J.-L. Krivine introduced the notion of storage operator to simulate the call by value in a context of a call by name. J.-L. Krivine has shown that using Godel translation from classical to intuitionistic logic, we can find a very simple type of AF2 type system for the storage operators. In this paper we study the ∀-positive types (the universel seond order quantifier appears positively in the types), and the Godel transformations (a generalization of classical Godel translation) of the… CONTINUE READING

Topics from this paper.

Similar Papers