Matches in SemOpenAlex for { <https://semopenalex.org/work/W131776992> ?p ?o ?g. }
Showing items 1 to 50 of
50
with 100 items per page.
- W131776992 abstract "Cette these propose une extension du Calcul des Constructions de Coquand et Huet qui permet l'extraction de programmes certifies a partir de preuve constructive. Une notion de realisabilite modifiee est introduite et etudiee. Un codage impredicatif d'une large classe de definitions inductives est propose." @default.
- W131776992 created "2016-06-24" @default.
- W131776992 creator A5024401238 @default.
- W131776992 date "1989-01-27" @default.
- W131776992 modified "2023-09-23" @default.
- W131776992 title "Extraction de programmes dans le Calcul des Constructions" @default.
- W131776992 hasPublicationYear "1989" @default.
- W131776992 type Work @default.
- W131776992 sameAs 131776992 @default.
- W131776992 citedByCount "31" @default.
- W131776992 countsByYear W1317769922013 @default.
- W131776992 countsByYear W1317769922019 @default.
- W131776992 countsByYear W1317769922020 @default.
- W131776992 crossrefType "dissertation" @default.
- W131776992 hasAuthorship W131776992A5024401238 @default.
- W131776992 hasConcept C138885662 @default.
- W131776992 hasConcept C15708023 @default.
- W131776992 hasConcept C33923547 @default.
- W131776992 hasConcept C41008148 @default.
- W131776992 hasConceptScore W131776992C138885662 @default.
- W131776992 hasConceptScore W131776992C15708023 @default.
- W131776992 hasConceptScore W131776992C33923547 @default.
- W131776992 hasConceptScore W131776992C41008148 @default.
- W131776992 hasLocation W1317769921 @default.
- W131776992 hasOpenAccess W131776992 @default.
- W131776992 hasPrimaryLocation W1317769921 @default.
- W131776992 hasRelatedWork W1501212217 @default.
- W131776992 hasRelatedWork W1522049235 @default.
- W131776992 hasRelatedWork W1560253649 @default.
- W131776992 hasRelatedWork W1568140005 @default.
- W131776992 hasRelatedWork W1575675278 @default.
- W131776992 hasRelatedWork W1581378641 @default.
- W131776992 hasRelatedWork W159715351 @default.
- W131776992 hasRelatedWork W1949275316 @default.
- W131776992 hasRelatedWork W1986402635 @default.
- W131776992 hasRelatedWork W2005192022 @default.
- W131776992 hasRelatedWork W2044758536 @default.
- W131776992 hasRelatedWork W2062108951 @default.
- W131776992 hasRelatedWork W2062887328 @default.
- W131776992 hasRelatedWork W2086054252 @default.
- W131776992 hasRelatedWork W2124729849 @default.
- W131776992 hasRelatedWork W2128057448 @default.
- W131776992 hasRelatedWork W2131558630 @default.
- W131776992 hasRelatedWork W2135625856 @default.
- W131776992 hasRelatedWork W569543113 @default.
- W131776992 hasRelatedWork W2496967571 @default.
- W131776992 isParatext "false" @default.
- W131776992 isRetracted "false" @default.
- W131776992 magId "131776992" @default.
- W131776992 workType "dissertation" @default.