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/

Documentos relacionados