Matches in SemOpenAlex for { <https://semopenalex.org/work/W1845742793> ?p ?o ?g. }
Showing items 1 to 52 of
52
with 100 items per page.
- W1845742793 endingPage "537" @default.
- W1845742793 startingPage "513" @default.
- W1845742793 abstract "J.-L. Krivine introduced the AF2 type system in order to obtain programs ($lambda$-terms) which calculate functions, by writing demonstrations of their totalities. We present in this paper two results of completness for some types of AF2 and for many notions of reductions. These results generalize a theorem of R. Labib-Sami established in the system F of J.-Y. Girard." @default.
- W1845742793 created "2016-06-24" @default.
- W1845742793 creator A5018831581 @default.
- W1845742793 creator A5036092255 @default.
- W1845742793 date "1997-01-01" @default.
- W1845742793 modified "2023-09-24" @default.
- W1845742793 title "Résultats de complétude pour des classes de types du système $mathcal {AF}2$" @default.
- W1845742793 cites W1976556784 @default.
- W1845742793 cites W2007974484 @default.
- W1845742793 cites W74958493 @default.
- W1845742793 doi "https://doi.org/10.1051/ita/1997310605131" @default.
- W1845742793 hasPublicationYear "1997" @default.
- W1845742793 type Work @default.
- W1845742793 sameAs 1845742793 @default.
- W1845742793 citedByCount "8" @default.
- W1845742793 countsByYear W18457427932012 @default.
- W1845742793 countsByYear W18457427932018 @default.
- W1845742793 crossrefType "journal-article" @default.
- W1845742793 hasAuthorship W1845742793A5018831581 @default.
- W1845742793 hasAuthorship W1845742793A5036092255 @default.
- W1845742793 hasBestOaLocation W18457427931 @default.
- W1845742793 hasConcept C114614502 @default.
- W1845742793 hasConcept C120665830 @default.
- W1845742793 hasConcept C121332964 @default.
- W1845742793 hasConcept C18903297 @default.
- W1845742793 hasConcept C2777299769 @default.
- W1845742793 hasConcept C2778113609 @default.
- W1845742793 hasConcept C33923547 @default.
- W1845742793 hasConcept C86803240 @default.
- W1845742793 hasConceptScore W1845742793C114614502 @default.
- W1845742793 hasConceptScore W1845742793C120665830 @default.
- W1845742793 hasConceptScore W1845742793C121332964 @default.
- W1845742793 hasConceptScore W1845742793C18903297 @default.
- W1845742793 hasConceptScore W1845742793C2777299769 @default.
- W1845742793 hasConceptScore W1845742793C2778113609 @default.
- W1845742793 hasConceptScore W1845742793C33923547 @default.
- W1845742793 hasConceptScore W1845742793C86803240 @default.
- W1845742793 hasIssue "6" @default.
- W1845742793 hasLocation W18457427931 @default.
- W1845742793 hasLocation W18457427932 @default.
- W1845742793 hasOpenAccess W1845742793 @default.
- W1845742793 hasPrimaryLocation W18457427931 @default.
- W1845742793 hasRelatedWork W2090790829 @default.
- W1845742793 hasRelatedWork W2110797966 @default.
- W1845742793 hasRelatedWork W2154273644 @default.
- W1845742793 hasVolume "31" @default.
- W1845742793 isParatext "false" @default.
- W1845742793 isRetracted "false" @default.
- W1845742793 magId "1845742793" @default.
- W1845742793 workType "article" @default.