About: dbpedia-fr:Théorie_des_types

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

About: dbpedia-fr:Théorie_des_types_homotopiques 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	Homotopietypentheorie (de) Teoría de tipos homotópica (es) Théorie des types homotopiques (fr)
rdfs:comment	Dans la logique mathématique et de l’informatique, la théorie des types homotopiques (en anglais : Homotopy Type Theory HoTT) fait référence à différentes lignes de développement de la théorie des types intuitionnistes, basée sur l’interprétation des types comme des objets auxquels l’intuition de la théorie de l’homotopie s’applique. (fr)
rdfs:seeAlso	https://commons.wikimedia.org/wiki/Category:Homotopy_type_theory https://ncatlab.org/nlab/show/homotopy_type_theory https://www.quora.com/topic/Homotopy-Type-Theory
sameAs	dbr:Homotopy_type_theory dbpedia-commons:Category:Homotopy_type_theory wikidata:Q5891840 dbpedia-de:Homotopietypentheorie dbpedia-es:Teoría_de_tipos_homotópica dbpedia-ru:Гомотопическая_теория_типов dbpedia-vi:Lý_thuyết_hình_thái_đồng_luân dbpedia-zh:同伦类型论 http://g.co/kg/m/0hn8nh2 http://ma-graph.org/entity/169523603
Wikipage page ID	12932794 (xsd:integer)
Wikipage revision ID	188291954 (xsd:integer)
dbo:wikiPageWikiLink	ACM Computing Reviews dbpedia-fr:André_Joyal ArXiv Proof assistant Axiom Calculus of constructions category-fr:Théorie_de_l'information category-fr:Théorie_des_types dbpedia-fr:Catégorie_des_ensembles dbpedia-fr:Catégorie_groupoïde dbpedia-fr:Catégorie_modèle Path (topology) dbpedia-fr:Coq_(logiciel) Curry–Howard correspondence Dimension dbpedia-fr:Démonstration_formelle Simplicial set dbpedia-fr:Fibration Foundations of mathematics dbpedia-fr:Fondements_univalents dbpedia-fr:Fork_(développement_logiciel) dbpedia-fr:Giovanni_Felder GitHub dbpedia-fr:Homotopie Computer science Mathematical Research Institute of Oberwolfach Institute for Advanced Study Lambda calculus dbpedia-fr:Langage_de_programmation dbpedia-fr:Licence_Creative_Commons dbpedia-fr:Logique_mathématique dbpedia-fr:Per_Martin-Löf Structure (mathematical logic) Thierry Coquand dbpedia-fr:Théorie_des_catégories dbpedia-fr:Théorie_des_types Topology dbpedia-fr:Type_dépendant Carnegie Mellon University Uppsala University Vladimir Voevodsky ETH Zurich dbpedia-fr:Robert_Harper dbpedia-fr:Michael_Shulman dbpedia-fr:Algèbre_homotopique dbpedia-fr:Complexe_Kan dbpedia-fr:Condition_de_cohérence dbpedia-fr:Espace_de_cheminement_(topologie_algébrique) dbpedia-fr:Fibration_de_Kan dbpedia-fr:Folklore_mathématique dbpedia-fr:Michael_Shulman_(mathematician) dbpedia-fr:Peter_Aczel dbpedia-fr:Steve_Awodey dbpedia-fr:Thomas_Streicher dbpedia-fr:Thorsten_Altenkirch dbpedia-fr:Théorie_des_types_intuitionnistes dbpedia-fr:Théorie_de_la_catégorie_supérieure dbpedia-fr:Fichier:The_making_of_HoTT_book.webm
Link from a Wikipage to an external page	http://homotopytypetheory.org/%7Ctitre=Homotopy https://hott.github.io/book/nightly/hott-a4-1075-g3c53219.pdf http://ncatlab.org/homotopytypetheory/show/HomePage https://books.google.com/books%3Fid=LkDUKMv3yp0C http://www.math.ias.edu/~vladimir/Site3/Univalent_Foundations.html http://www.mathematik.tu-darmstadt.de/~streicher/venedig.ps.gz http://video.ias.edu/univalent/awodey http://www.andrew.cmu.edu/user/awodey/htt.html http://www.andrew.cmu.edu/user/awodey/preprints/homotopy.pdf http://philmat.oxfordjournals.org/content/22/1/1.abstract%7Cconsult%C3%A9
page length (characters) of wiki page	36371 (xsd:nonNegativeInteger)
dct:subject	category-fr:Théorie_de_l'information category-fr:Théorie_des_types
prop-fr:wikiPageUsesTemplate	dbpedia-fr:Modèle:, dbpedia-fr:Modèle:Article dbpedia-fr:Modèle:Date- dbpedia-fr:Modèle:Début_de_colonnes dbpedia-fr:Modèle:Fin_de_colonnes dbpedia-fr:Modèle:Ouvrage dbpedia-fr:Modèle:Portail dbpedia-fr:Modèle:Références dbpedia-fr:Modèle:Site_officiel

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, 8 GB memory in use)
Data on this page belongs to its respective rights holders.
Virtuoso Faceted Browser Copyright © 2009-2024 OpenLink Software