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.

Bibliographic Details
Main Authors: Nour, Karim, Farkh, Samir
Other Authors: 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
Language:French
Published: HAL CCSD 1998
Subjects:
[MATH.MATH-LO]Mathematics [math]/Logic [math.LO]
sami
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

Similar Items