Matches in DBpedia 2015-10 for { <http://dbpedia.org/resource/Intuitionistic_type_theory> ?p ?o }
- Intuitionistic_type_theory wikiPageWikiLink Sweden.
- Intuitionistic_type_theory wikiPageWikiLink System_F.
- Intuitionistic_type_theory wikiPageWikiLink Truth_value.
- Intuitionistic_type_theory wikiPageWikiLink Tuple.
- Intuitionistic_type_theory wikiPageWikiLink Type_checking.
- Intuitionistic_type_theory wikiPageWikiLink Type_system.
- Intuitionistic_type_theory wikiPageWikiLink Type_theory.
- Intuitionistic_type_theory wikiPageWikiLink Typed_lambda_calculus.
- Intuitionistic_type_theory wikiPageWikiLink Undecidable_problem.
- Intuitionistic_type_theory wikiPageWikiLink Unit_type.
- Intuitionistic_type_theory wikiPageWikiLink Universal_quantification.
- Intuitionistic_type_theory wikiPageWikiLink Value_(computer_science).
- Intuitionistic_type_theory wikiPageWikiLink Well-founded.
- Intuitionistic_type_theory wikiPageWikiLink Well-founded_relation.
- Intuitionistic_type_theory wikiPageWikiLinkText "Intuitionistic type theory".
- Intuitionistic_type_theory wikiPageWikiLinkText "Intuitionistic type theory#Equality type".
- Intuitionistic_type_theory wikiPageWikiLinkText "Intuitionistic type theory#Extensional versus intensional".
- Intuitionistic_type_theory wikiPageWikiLinkText "Intuitionistic type theory#Inductive types".
- Intuitionistic_type_theory wikiPageWikiLinkText "Intuitionistic_type_theory#Equality_type".
- Intuitionistic_type_theory wikiPageWikiLinkText "dependent sum type".
- Intuitionistic_type_theory wikiPageWikiLinkText "equality type".
- Intuitionistic_type_theory wikiPageWikiLinkText "identity type".
- Intuitionistic_type_theory wikiPageWikiLinkText "inductive types".
- Intuitionistic_type_theory wikiPageWikiLinkText "intensional type theory".
- Intuitionistic_type_theory wikiPageWikiLinkText "intuitionistic type theory".
- Intuitionistic_type_theory wikiPageWikiLinkText "type theoretic".
- Intuitionistic_type_theory wikiPageWikiLinkText "type theory".
- Intuitionistic_type_theory wikiPageWikiLinkText "type".
- Intuitionistic_type_theory hasPhotoCollection Intuitionistic_type_theory.
- Intuitionistic_type_theory wikiPageUsesTemplate Template:Main.
- Intuitionistic_type_theory wikiPageUsesTemplate Template:Non-classical_logic.
- Intuitionistic_type_theory wikiPageUsesTemplate Template:Reflist.
- Intuitionistic_type_theory subject Category:Constructivism_(mathematics).
- Intuitionistic_type_theory subject Category:Dependently_typed_programming.
- Intuitionistic_type_theory subject Category:Intuitionism.
- Intuitionistic_type_theory subject Category:Logic_in_computer_science.
- Intuitionistic_type_theory subject Category:Type_theory.
- Intuitionistic_type_theory hypernym Theory.
- Intuitionistic_type_theory type Agent.
- Intuitionistic_type_theory type Book.
- Intuitionistic_type_theory type Person.
- Intuitionistic_type_theory type Theory.
- Intuitionistic_type_theory type Person.
- Intuitionistic_type_theory type Agent.
- Intuitionistic_type_theory type NaturalPerson.
- Intuitionistic_type_theory type Thing.
- Intuitionistic_type_theory type Q215627.
- Intuitionistic_type_theory type Q5.
- Intuitionistic_type_theory type Person.
- Intuitionistic_type_theory comment "Intuitionistic type theory (also known as constructive type theory, or Martin-Löf type theory) is a type theory and an alternative foundation of mathematics based on the principles of mathematical constructivism. Intuitionistic type theory was introduced by Per Martin-Löf, a Swedish mathematician and philosopher, in 1972. Martin-Löf has modified his proposal a few times; his 1971 impredicative formulation was inconsistent as demonstrated by Girard's paradox.".
- Intuitionistic_type_theory label "Intuitionistic type theory".
- Intuitionistic_type_theory sameAs Teoria_de_tipus_intuicionista.
- Intuitionistic_type_theory sameAs Teoria_dos_tipos_intuicionista.
- Intuitionistic_type_theory sameAs m.01yly1.
- Intuitionistic_type_theory sameAs Q6059147.
- Intuitionistic_type_theory sameAs Q6059147.
- Intuitionistic_type_theory sameAs 直觉类型论.
- Intuitionistic_type_theory wasDerivedFrom Intuitionistic_type_theory?oldid=679546593.
- Intuitionistic_type_theory isPrimaryTopicOf Intuitionistic_type_theory.