Property |
Value |
dbo:abstract
|
- En Informatique et en Logique, un type dépendant est un type qui peut dépendre d'une valeur définie dans le langage typé. Les langages et Gallina (de l'assistant de preuve Coq) sont des exemples de langages à type dépendant. (fr)
- En Informatique et en Logique, un type dépendant est un type qui peut dépendre d'une valeur définie dans le langage typé. Les langages et Gallina (de l'assistant de preuve Coq) sont des exemples de langages à type dépendant. (fr)
|
dbo:wikiPageID
| |
dbo:wikiPageLength
|
- 1050 (xsd:nonNegativeInteger)
|
dbo:wikiPageRevisionID
| |
dbo:wikiPageWikiLink
| |
prop-fr:wikiPageUsesTemplate
| |
dct:subject
| |
rdfs:comment
|
- En Informatique et en Logique, un type dépendant est un type qui peut dépendre d'une valeur définie dans le langage typé. Les langages et Gallina (de l'assistant de preuve Coq) sont des exemples de langages à type dépendant. (fr)
- En Informatique et en Logique, un type dépendant est un type qui peut dépendre d'une valeur définie dans le langage typé. Les langages et Gallina (de l'assistant de preuve Coq) sont des exemples de langages à type dépendant. (fr)
|
rdfs:label
|
- Type dépendant (fr)
- Зависимый тип (ru)
- 依存型 (ja)
- Type dépendant (fr)
- Зависимый тип (ru)
- 依存型 (ja)
|
rdfs:seeAlso
| |
owl:sameAs
| |
prov:wasDerivedFrom
| |
foaf:isPrimaryTopicOf
| |
is dbo:wikiPageWikiLink
of | |
is oa:hasTarget
of | |
is foaf:primaryTopic
of | |