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 |
id |
ftunivsavoie:oai:HAL:hal-00381215v1 |
---|---|
record_format |
openpolar |
spelling |
ftunivsavoie:oai:HAL:hal-00381215v1 2024-04-21T08:10:58+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 ftunivsavoie 2024-04-11T00:32:27Z 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é Savoie Mont Blanc: HAL |
institution |
Open Polar |
collection |
Université Savoie Mont Blanc: HAL |
op_collection_id |
ftunivsavoie |
language |
French |
topic |
[MATH.MATH-LO]Mathematics [math]/Logic [math.LO] |
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 |
topic_facet |
[MATH.MATH-LO]Mathematics [math]/Logic [math.LO] |
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. |
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) |
format |
Article in Journal/Newspaper |
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 |
HAL CCSD |
publishDate |
1998 |
url |
https://hal.science/hal-00381215 https://hal.science/hal-00381215/document https://hal.science/hal-00381215/file/THESE.pdf |
genre |
sami |
genre_facet |
sami |
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 |
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 |
_version_ |
1796952591334113280 |