About: dbpedia-fr:Théorie_des

Facets (new session)
Description
Metadata
Settings
- owl:sameAs
- Inference Rule:

About: dbpedia-fr:Théorie_des_types Goto Sponge NotDistinct Permalink

An Entity of Type : owl:Thing, within Data Space : fr.dbpedia.org associated with source document(s)

Attributes	Values
rdfs:label	Théorie des types (fr) Teoría de tipos (es) Typentheorie (de) Typetheorie (nl) Теорія типів (uk) 型理論 (ja)
rdfs:comment	En mathématiques, logique et informatique, une théorie des types est une classe de systèmes formels, dont certains peuvent servir d'alternatives à la théorie des ensembles comme fondation des mathématiques. Ils ont été historiquement introduit pour résoudre le paradoxe d'un axiome de compréhension non restreint. Des types sont utilisés dans certains langages de programmation, ce qui permet d'éviter des bugs. (fr)
rdfs:seeAlso	https://commons.wikimedia.org/wiki/Category:Type_theory http://plato.stanford.edu/entries/type-theory http://www.universalis.fr/encyclopedie/theorie-des-types-chimie https://ncatlab.org/nlab/show/type_theory https://www.britannica.com/topic/ramified-theory-of-types https://www.britannica.com/topic/theory-of-types-logic https://www.jstor.org/topic/type-theory https://www.quora.com/topic/Type-Theory
sameAs	dbr:Type_theory wikidata:Q1056428 dbpedia-ar:نظرية_النمط dbpedia-az:Tiplər_nəzəriyyəsi dbpedia-cs:Teorie_typů dbpedia-de:Typentheorie dbpedia-el:Θεωρία_τύπων dbpedia-eo:Teorio_de_tipoj dbpedia-es:Teoría_de_tipos dbpedia-fa:نظریه_نوع‌ها dbpedia-he:תורת_הטיפוסים dbpedia-it:Teoria_dei_tipi dbpedia-ja:型理論 dbpedia-kk:Типтер_теориясы dbpedia-ko:유형_이론 dbpedia-nl:Typetheorie dbpedia-no:Typeteori dbpedia-pl:Teoria_typów dbpedia-pt:Teoria_dos_tipos dbpedia-ru:Теория_типов dbpedia-uk:Теорія_типів dbpedia-vi:Lý_thuyết_hình_thái dbpedia-zh:类型论 http://msc2010.org/resources/MSC/2010/03B15 http://g.co/kg/m/0b15c http://ma-graph.org/entity/93682546 http://babelnet.org/rdf/s03130588n
Wikipage page ID	202810 (xsd:integer)
Wikipage revision ID	189081314 (xsd:integer)
dbo:wikiPageWikiLink	category-fr:Théorie_des_ensembles category-fr:Théorie_de_la_démonstration 1922 1937 Alfred North Whitehead Alonzo Church Dimensional analysis dbpedia-fr:Argument Proof assistant Bertrand Russell Software bug Calculus of constructions dbpedia-fr:Caml category-fr:Méthode_formelle category-fr:Théorie_des_types dbpedia-fr:Catégorie_(linguistique) dbpedia-fr:Constructivisme_(mathématiques) dbpedia-fr:Coq_(logiciel) Soundness Curry–Howard correspondence Function (mathematics) Foundations of mathematics dbpedia-fr:Format_de_données Frank Ramsey (mathematician) dbpedia-fr:Gottlob_Frege Haskell (programming language) Idris Computer science Lambda calculus dbpedia-fr:Langage_de_programmation Grammar dbpedia-fr:Logique dbpedia-fr:Logique_combinatoire dbpedia-fr:Logique_d'ordre_supérieur New Foundations Russell's paradox Liar paradox dbpedia-fr:Per_Martin-Löf Principia Mathematica dbpedia-fr:Programmation_fonctionnelle dbpedia-fr:Programmation_informatique Ronald Jensen Rewriting dbpedia-fr:Système_F dbpedia-fr:Système_formel Thierry Coquand dbpedia-fr:Théorie_des_ensembles dbpedia-fr:Théorie_des_ensembles_de_Zermelo-Fraenkel dbpedia-fr:Théorie_des_modèles dbpedia-fr:Théorie_des_types_homotopiques dbpedia-fr:Théorie_naïve_des_ensembles dbpedia-fr:Typage_fort dbpedia-fr:Type_(informatique) dbpedia-fr:Type_(théorie_des_modèles) Willard Van Orman Quine dbpedia-fr:Mathématiques

Faceted Search & Find service v1.16.111 as of Oct 19 2022

Alternative Linked Data Documents: ODE Content Formats:

RDF

ODATA

Microdata

About

OpenLink Virtuoso version 07.20.3234 as of May 18 2022, on Linux (x86_64-ubuntu_bionic-linux-gnu), Single-Server Edition (39 GB total memory, 11 GB memory in use)
Data on this page belongs to its respective rights holders.
Virtuoso Faceted Browser Copyright © 2009-2024 OpenLink Software