Un Résultat de Complétude pour les Types $\forall^+$ du Système F
International audience 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: | , |
|---|---|
| Other Authors: | , |
| Format: | Article in Journal/Newspaper |
| Language: | French |
| Published: |
HAL CCSD
1998
|
| Subjects: | |
| Online Access: | https://hal.science/hal-00381215 https://hal.science/hal-00381215/document https://hal.science/hal-00381215/file/THESE.pdf |
| _version_ | 1821698715868463104 |
|---|---|
| author | Nour, Karim Farkh, Samir |
| author2 | Laboratoire de Mathématiques (LAMA) Université Savoie Mont Blanc (USMB Université de Savoie Université de Chambéry )-Centre National de la Recherche Scientifique (CNRS) |
| author_facet | Nour, Karim Farkh, Samir |
| author_sort | Nour, Karim |
| collection | Université Grenoble Alpes: HAL |
| description | International audience 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 | Article in Journal/Newspaper |
| genre | sami |
| genre_facet | sami |
| id | ftunigrenoble:oai:HAL:hal-00381215v1 |
| institution | Open Polar |
| language | French |
| op_collection_id | ftunigrenoble |
| op_relation | info:eu-repo/semantics/altIdentifier/arxiv/0905.0592 hal-00381215 https://hal.science/hal-00381215 https://hal.science/hal-00381215/document https://hal.science/hal-00381215/file/THESE.pdf ARXIV: 0905.0592 |
| op_rights | info:eu-repo/semantics/OpenAccess |
| op_source | Comptes Rendus de l'Académie des Sciences - Series I - Mathematics https://hal.science/hal-00381215 Comptes Rendus de l'Académie des Sciences - Series I - Mathematics, 1998, 326, pp.275-279 |
| publishDate | 1998 |
| publisher | HAL CCSD |
| record_format | openpolar |
| spelling | ftunigrenoble:oai:HAL:hal-00381215v1 2025-01-17T00:35:37+00:00 Un Résultat de Complétude pour les Types $\forall^+$ du Système F Nour, Karim Farkh, Samir Laboratoire de Mathématiques (LAMA) Université Savoie Mont Blanc (USMB Université de Savoie Université de Chambéry )-Centre National de la Recherche Scientifique (CNRS) 1998 https://hal.science/hal-00381215 https://hal.science/hal-00381215/document https://hal.science/hal-00381215/file/THESE.pdf fr fre HAL CCSD Elsevier info:eu-repo/semantics/altIdentifier/arxiv/0905.0592 hal-00381215 https://hal.science/hal-00381215 https://hal.science/hal-00381215/document https://hal.science/hal-00381215/file/THESE.pdf ARXIV: 0905.0592 info:eu-repo/semantics/OpenAccess Comptes Rendus de l'Académie des Sciences - Series I - Mathematics https://hal.science/hal-00381215 Comptes Rendus de l'Académie des Sciences - Series I - Mathematics, 1998, 326, pp.275-279 [MATH.MATH-LO]Mathematics [math]/Logic [math.LO] info:eu-repo/semantics/article Journal articles 1998 ftunigrenoble 2024-03-21T16:13:34Z International audience 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. Article in Journal/Newspaper sami Université Grenoble Alpes: HAL |
| spellingShingle | [MATH.MATH-LO]Mathematics [math]/Logic [math.LO] Nour, Karim Farkh, Samir Un Résultat de Complétude pour les Types $\forall^+$ du Système F |
| title | 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_short | 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 |
| topic | [MATH.MATH-LO]Mathematics [math]/Logic [math.LO] |
| topic_facet | [MATH.MATH-LO]Mathematics [math]/Logic [math.LO] |
| url | https://hal.science/hal-00381215 https://hal.science/hal-00381215/document https://hal.science/hal-00381215/file/THESE.pdf |