S-storage operators - Mathematics > LogicReportar como inadecuado




S-storage operators - Mathematics > Logic - Descarga este documento en PDF. Documentación en PDF para descargar gratis. Disponible también para leer online.

Abstract: In 1990, J.L.
Krivine introduced the notion of storage operator to simulate,for Church integers, the -call by value- in a context of a -call by name-strategy.
In this present paper, we define, for every $\lambda$-term S whichrealizes the successor function on Church integers, the notion of S-storageoperator.
We prove that every storage operator is a $S-storage operator.
Butthe converse is not always true.



Autor: Karim Nour LAMA

Fuente: https://arxiv.org/



DESCARGAR PDF




Documentos relacionados