Quelques résultats sur le $\lambda C$-calcul
Résumé
Dans cette Note, nous caractérisons de façon opérationnelle les termes du $\lambda C$-calcul de type $\forall X \{\bot \rightarrow X \}$ et $\forall X \{\neg\neg X \rightarrow X \}$.
Article Dans Une Revue
CRAS Compte Rendu Académie des Sciences
Année : 1995
Karim Nour : Connectez-vous pour contacter le contributeur
https://hal.science/hal-04728110
Soumis le : vendredi 11 octobre 2024-17:49:02
Dernière modification le : mercredi 30 octobre 2024-09:54:29
Dates et versions
Identifiants
- HAL Id : hal-04728110 , version 1
Citer
Karim Nour. Quelques résultats sur le $\lambda C$-calcul. CRAS Compte Rendu Académie des Sciences, 1995, 320 (I), pp.259-262. ⟨hal-04728110⟩
Collections
8
Consultations
0
Téléchargements