Teorie typů

Property	Value
dbpedia-owl:wikiPageID	1332240 (xsd:integer)
dbpedia-owl:wikiPageLength	1092 (xsd:integer)
dbpedia-owl:wikiPageOutDegree	14 (xsd:integer)
dbpedia-owl:wikiPageRevisionID	16278173 (xsd:integer)
dbpedia-owl:wikiPageWikiLink	dbpedia-cs:Algebra dbpedia-cs:Bernard_Bolzano dbpedia-cs:Bertrand_Russell dbpedia-cs:Jaakko_Hintikka dbpedia-cs:Lambda_kalkul dbpedia-cs:Teorie_množin dbpedia-cs:Algoritmika dbpedia-cs:Reifikace_(logika) dbpedia-cs:Závislostní_typ dbpedia-cs:Polookruh dbpedia-cs:Bezesporná_teorie dbpedia-cs:Henkinův_model category-cs:Teorie_typů
dbpedia-owl:wikiPageWikiLinkText	typové teorii Teorie typů teorii typů teorie typů
dcterms:subject	category-cs:Teorie_typů
rdfs:label	Teorie typů
prov:wasDerivedFrom	wiki-cs:Teorie_typů?oldid=16278173
foaf:isPrimaryTopicOf	wiki-cs:Teorie_typů
is dbpedia-owl:wikiPageRedirects of	dbpedia-cs:Algebra_typů
is dbpedia-owl:wikiPageWikiLink of	dbpedia-cs:Lambda_kalkul dbpedia-cs:Teoretická_informatika dbpedia-cs:Závislostní_typ dbpedia-cs:Kategorie_endofunktorů dbpedia-cs:Typový_systém dbpedia-cs:Principia_Mathematica dbpedia-cs:Sémantika_programovacích_jazyků dbpedia-cs:Logika_vyššího_řádu dbpedia-cs:Záznam_(informatika) dbpedia-cs:Eventualita dbpedia-cs:Henkinův_model dbpedia-cs:Druh_(teorie_typů) dbpedia-cs:Algebra_typů dbpedia-cs:Curryho–Howardův_isomorfismus
is foaf:primaryTopic of	wiki-cs:Teorie_typů

About: Teorie typů