Une réponse négative à la conjecture de E. Tronci pour les systèmes numériques typés
| dc.creator | Nour, Karim | |
| dc.date | 2009-05-05 | |
| dc.date.accessioned | 2026-07-07T13:11:52Z | |
| dc.date.available | 2026-07-07T13:11:52Z | |
| dc.description | A numeral system is a sequence of an infinite different closed normal $λ$-terms which has closed $λ$-terms for successor and zero test. A numeral system is said adequate iff it has a closed $λ$-term for predecessor. A storage operator for a numeral system is a closed $λ$-term which simulate "call-by-value" in the context of a "call-by-name" strategy. E. Tronci conjectured the following result : a numeral system is adequate if it has a storage operator. This paper gives a negative answer to this conjecture for the numeral systems typable in the J.-Y. Girard type system F. The E. Tronci's conjecture remains open in pure $λ$-calculus. | |
| dc.identifier | https://arxiv.org/abs/0905.0574 | |
| dc.identifier | http://arxiv.org/abs/0905.0574 | |
| dc.identifier | Informatique Théorique et Applications 31, 6 (1998) 539-558 | |
| dc.identifier.uri | http://salesiana.dossiersoluciones.com/handle/123456789/229420 | |
| dc.subject | Logic | |
| dc.title | Une réponse négative à la conjecture de E. Tronci pour les systèmes numériques typés | |
| dc.type | text |