This HTML5 document contains 42 embedded RDF statements represented using HTML+Microdata notation.

The embedded RDF content will be recognized by any processor of HTML5 Microdata.

Namespace Prefixes

PrefixIRI
dcthttp://purl.org/dc/terms/
dbohttp://dbpedia.org/ontology/
foafhttp://xmlns.com/foaf/0.1/
n5http://www.cis.upenn.edu/~bcpierce/tapl/
n12http://g.co/kg/m/
dbpedia-ruhttp://ru.dbpedia.org/resource/
rdfshttp://www.w3.org/2000/01/rdf-schema#
category-frhttp://fr.dbpedia.org/resource/Catégorie:
n7http://fr.dbpedia.org/resource/Modèle:
wikipedia-frhttp://fr.wikipedia.org/wiki/
n15http://fr.dbpedia.org/resource/Modèle:Traduction/
rdfhttp://www.w3.org/1999/02/22-rdf-syntax-ns#
owlhttp://www.w3.org/2002/07/owl#
n14http://ma-graph.org/entity/
dbpedia-frhttp://fr.dbpedia.org/resource/
prop-frhttp://fr.dbpedia.org/property/
provhttp://www.w3.org/ns/prov#
xsdhhttp://www.w3.org/2001/XMLSchema#
dbrhttp://dbpedia.org/resource/
wikidatahttp://www.wikidata.org/entity/
dbpedia-jahttp://ja.dbpedia.org/resource/

Statements

Subject Item
dbpedia-fr:Type_vide
rdfs:label
Type vide Низший тип ボトム型
rdfs:comment
Le type vide est en théorie des types un type qui ne comporte pas de valeurs. On l'abrège communément par bot (de bottom type), le symbole ou par l'approximation ASCII _|_.On l'appelle aussi parfois type zéro. Il ne faut pas le confondre avec le type top ou le type unité. Le type top comprend toutes les valeurs d'un système. Le type unité a une seule valeur. On utilise souvent le type vide dans les cas suivants :
owl:sameAs
dbpedia-ru:Низший_тип n12:0b5h1x n14:2776722363 wikidata:Q3546108 dbr:Bottom_type dbpedia-ja:ボトム型
dbo:wikiPageID
1950900
dbo:wikiPageRevisionID
190282219
dbo:wikiPageWikiLink
category-fr:Vide dbpedia-fr:Coq_(logiciel) dbpedia-fr:Routine_(informatique) dbpedia-fr:Incohérence dbpedia-fr:Continuation_(informatique) dbpedia-fr:Logique_minimale category-fr:Théorie_des_types dbpedia-fr:NaN dbpedia-fr:Ensemble_vide category-fr:Rien dbpedia-fr:Mot_clé dbpedia-fr:Haskell dbpedia-fr:Type_unité dbpedia-fr:Correspondance_de_Curry-Howard dbpedia-fr:American_Standard_Code_for_Information_Interchange dbpedia-fr:Système_de_gestion_d'exceptions dbpedia-fr:Théorie_des_types dbpedia-fr:Constructeur_(programmation)
dbo:wikiPageExternalLink
n5:main.html
dbo:wikiPageLength
3279
dct:subject
category-fr:Rien category-fr:Vide category-fr:Théorie_des_types
prop-fr:wikiPageUsesTemplate
n7:Palette n7:Portail n7:En n15:Référence
prov:wasDerivedFrom
wikipedia-fr:Type_vide?oldid=190282219&ns=0
foaf:isPrimaryTopicOf
wikipedia-fr:Type_vide
dbo:abstract
Le type vide est en théorie des types un type qui ne comporte pas de valeurs. On l'abrège communément par bot (de bottom type), le symbole ou par l'approximation ASCII _|_.On l'appelle aussi parfois type zéro. Il ne faut pas le confondre avec le type top ou le type unité. Le type top comprend toutes les valeurs d'un système. Le type unité a une seule valeur. On utilise souvent le type vide dans les cas suivants : * Pour signifier le faux. Il peut être employé pour définir la négation et exprimer l'axiome ex falso sequitur quodlibet : Pour toute proposition : . Hormis en logique minimale que rejette cet axiome, le type vide désigne donc par voie de conséquence, l'absurdité, l'état d'incohérence du système. * Pour signaler qu'une fonction ou un calcul diverge ; en d'autres termes, il ne retourne pas de résultat à l'appelant. Cela ne signifie pas nécessairement que le programme ne se termine pas ; une fonction peut terminer sans retourner à son appelant, ou sortir par un moyen autre qu'un retour normal, par exemple via une continuation. * Pour indiquer une erreur ; cela arrive principalement dans des langages théoriques dans lesquels les distinctions entre les erreurs ne sont pas importantes. Les langages de programmation pratiques utilisent une gestion d'exceptions à la place.