Un Résultat de Complétude pour les Types $\forall^+$ du Système F
We presente in this note a completeness result for the types with positive quantifiers of the J.-Y. Girard type system F. This result generalizes a theorem of R. Labib-Sami.
| Main Authors: | , |
|---|---|
| Format: | Text |
| Language: | unknown |
| Published: |
arXiv
2009
|
| Subjects: | |
| Online Access: | https://dx.doi.org/10.48550/arxiv.0905.0592 https://arxiv.org/abs/0905.0592 |
| id |
ftdatacite:10.48550/arxiv.0905.0592 |
|---|---|
| record_format |
openpolar |
| spelling |
ftdatacite:10.48550/arxiv.0905.0592 2023-05-15T18:11:10+02:00 Un Résultat de Complétude pour les Types $\forall^+$ du Système F Nour, Karim Farkh, Samir 2009 https://dx.doi.org/10.48550/arxiv.0905.0592 https://arxiv.org/abs/0905.0592 unknown arXiv https://dx.doi.org/10.1016/s0764-4442(97)82979-5 arXiv.org perpetual, non-exclusive license http://arxiv.org/licenses/nonexclusive-distrib/1.0/ Logic math.LO FOS Mathematics article-journal Article ScholarlyArticle Text 2009 ftdatacite https://doi.org/10.48550/arxiv.0905.0592 https://doi.org/10.1016/s0764-4442(97)82979-5 2022-04-01T15:02:10Z We presente in this note a completeness result for the types with positive quantifiers of the J.-Y. Girard type system F. This result generalizes a theorem of R. Labib-Sami. Text sami DataCite Metadata Store (German National Library of Science and Technology) |
| institution |
Open Polar |
| collection |
DataCite Metadata Store (German National Library of Science and Technology) |
| op_collection_id |
ftdatacite |
| language |
unknown |
| topic |
Logic math.LO FOS Mathematics |
| spellingShingle |
Logic math.LO FOS Mathematics Nour, Karim Farkh, Samir Un Résultat de Complétude pour les Types $\forall^+$ du Système F |
| topic_facet |
Logic math.LO FOS Mathematics |
| description |
We presente in this note a completeness result for the types with positive quantifiers of the J.-Y. Girard type system F. This result generalizes a theorem of R. Labib-Sami. |
| format |
Text |
| author |
Nour, Karim Farkh, Samir |
| author_facet |
Nour, Karim Farkh, Samir |
| author_sort |
Nour, Karim |
| title |
Un Résultat de Complétude pour les Types $\forall^+$ du Système F |
| title_short |
Un Résultat de Complétude pour les Types $\forall^+$ du Système F |
| title_full |
Un Résultat de Complétude pour les Types $\forall^+$ du Système F |
| title_fullStr |
Un Résultat de Complétude pour les Types $\forall^+$ du Système F |
| title_full_unstemmed |
Un Résultat de Complétude pour les Types $\forall^+$ du Système F |
| title_sort |
un résultat de complétude pour les types $\forall^+$ du système f |
| publisher |
arXiv |
| publishDate |
2009 |
| url |
https://dx.doi.org/10.48550/arxiv.0905.0592 https://arxiv.org/abs/0905.0592 |
| genre |
sami |
| genre_facet |
sami |
| op_relation |
https://dx.doi.org/10.1016/s0764-4442(97)82979-5 |
| op_rights |
arXiv.org perpetual, non-exclusive license http://arxiv.org/licenses/nonexclusive-distrib/1.0/ |
| op_doi |
https://doi.org/10.48550/arxiv.0905.0592 https://doi.org/10.1016/s0764-4442(97)82979-5 |
| _version_ |
1766183874523561984 |