Caractérisation opérationnelle des entiers classiques en $\lambda C$-calcul - Archive ouverte HAL
Article Dans Une Revue CRAS Compte Rendu Académie des Sciences Année : 1995

Caractérisation opérationnelle des entiers classiques en $\lambda C$-calcul

Karim Nour
Laboratoire de Mathématiques

Résumé

Nous généralisons, dans cette note, par des méthodes syntaxiques, le résultat de J.L. Krivine sur la caractérisation opérationnelle des entiers classiques en $\lambda C$-calcul.

Domaines

Mathématiques [math] Informatique [cs]

Karim Nour  : Connectez-vous pour contacter le contributeur

https://hal.science/hal-04728078

Soumis le : vendredi 11 octobre 2024-17:49:27

Dernière modification le : mercredi 30 octobre 2024-09:55:51

Fichier non déposé

Dates et versions

hal-04728078 , version 1 (11-10-2024)

Identifiants

  • HAL Id : hal-04728078 , version 1

Citer

Karim Nour. Caractérisation opérationnelle des entiers classiques en $\lambda C$-calcul. CRAS Compte Rendu Académie des Sciences, 1995, 320 (I), pp.1431-1434. ⟨hal-04728078⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

UNIV-SAVOIE UGA CNRS INSMI LAMA LAMA-EQUIPE-LIMD
6 Consultations
0 Téléchargements

Partager

More