Matches in DBpedia 2016-04 for { <http://dbpedia.org/resource/Type_theory> ?p ?o }
- Type_theory abstract "In mathematics, logic, and computer science, a type theory is any of a class of formal systems, some of which can serve as alternatives to set theory as a foundation for all mathematics. In type theory, every \"term\" has a \"type\" and operations are restricted to terms of a certain type.Type theory is closely related to (and in some cases overlaps with) type systems, which are a programming language feature used to reduce bugs. The types of type theory were created to avoid paradoxes in a variety of formal logics and rewrite systems and sometimes \"type theory\" is used to refer to this broader application.Two well-known type theories that can serve as mathematical foundations are Alonzo Church's typed λ-calculus and Per Martin-Löf's intuitionistic type theory.".
- Type_theory wikiPageExternalLink type-theory.
- Type_theory wikiPageExternalLink cardelli97type.html.
- Type_theory wikiPageExternalLink 7211.
- Type_theory wikiPageExternalLink types-list.
- Type_theory wikiPageExternalLink tutorials.html.
- Type_theory wikiPageExternalLink program.html.
- Type_theory wikiPageExternalLink node31.html.
- Type_theory wikiPageExternalLink TTFP.
- Type_theory wikiPageExternalLink bookinfo.html.
- Type_theory wikiPageExternalLink jolli-review.pdf.
- Type_theory wikiPageExternalLink naive.pdf.
- Type_theory wikiPageID "40282".
- Type_theory wikiPageLength "23256".
- Type_theory wikiPageOutDegree "152".
- Type_theory wikiPageRevisionID "704983678".
- Type_theory wikiPageWikiLink ATS_(programming_language).
- Type_theory wikiPageWikiLink Agda_(programming_language).
- Type_theory wikiPageWikiLink Alfred_North_Whitehead.
- Type_theory wikiPageWikiLink Algebraic_topology.
- Type_theory wikiPageWikiLink Alonzo_Church.
- Type_theory wikiPageWikiLink Apply.
- Type_theory wikiPageWikiLink Automated_proof_checking.
- Type_theory wikiPageWikiLink Automated_theorem_proving.
- Type_theory wikiPageWikiLink Automath.
- Type_theory wikiPageWikiLink Bertrand_Russell.
- Type_theory wikiPageWikiLink Bottom_type.
- Type_theory wikiPageWikiLink Brouwer–Heyting–Kolmogorov_interpretation.
- Type_theory wikiPageWikiLink C-monoid.
- Type_theory wikiPageWikiLink Calculus_of_constructions.
- Type_theory wikiPageWikiLink Call-with-current-continuation.
- Type_theory wikiPageWikiLink Canonicity_(type_theory).
- Type_theory wikiPageWikiLink Cartesian_closed_category.
- Type_theory wikiPageWikiLink Categorial_grammar.
- Type_theory wikiPageWikiLink Categorical_logic.
- Type_theory wikiPageWikiLink Category:Systems_of_formal_logic.
- Type_theory wikiPageWikiLink Category:Type_theory.
- Type_theory wikiPageWikiLink Category_theory.
- Type_theory wikiPageWikiLink Church_encoding.
- Type_theory wikiPageWikiLink Coinduction.
- Type_theory wikiPageWikiLink Combinatory_logic.
- Type_theory wikiPageWikiLink Compiler.
- Type_theory wikiPageWikiLink Computer_science.
- Type_theory wikiPageWikiLink Confluence_(abstract_rewriting).
- Type_theory wikiPageWikiLink Constructivism_(mathematics).
- Type_theory wikiPageWikiLink Coq.
- Type_theory wikiPageWikiLink Corecursion.
- Type_theory wikiPageWikiLink Currying.
- Type_theory wikiPageWikiLink Dana_Scott.
- Type_theory wikiPageWikiLink Data_type.
- Type_theory wikiPageWikiLink Domain_theory.
- Type_theory wikiPageWikiLink Double_bind.
- Type_theory wikiPageWikiLink Elementary_Theory_of_the_Category_of_Sets.
- Type_theory wikiPageWikiLink Epigram_(programming_language).
- Type_theory wikiPageWikiLink Formal_semantics_(linguistics).
- Type_theory wikiPageWikiLink Formal_system.
- Type_theory wikiPageWikiLink Function_(mathematics).
- Type_theory wikiPageWikiLink Functional_programming.
- Type_theory wikiPageWikiLink Generalized_quantifier.
- Type_theory wikiPageWikiLink Gottlob_Frege.
- Type_theory wikiPageWikiLink Gregory_Bateson.
- Type_theory wikiPageWikiLink HOL_(proof_assistant).
- Type_theory wikiPageWikiLink Higher-order_logic.
- Type_theory wikiPageWikiLink Homotopy.
- Type_theory wikiPageWikiLink Homotopy_type_theory.
- Type_theory wikiPageWikiLink Idris_(programming_language).
- Type_theory wikiPageWikiLink Indicator_function.
- Type_theory wikiPageWikiLink Induction-Induction_(type_theory).
- Type_theory wikiPageWikiLink Induction-recursion_(type_theory).
- Type_theory wikiPageWikiLink Intuitionistic_type_theory.
- Type_theory wikiPageWikiLink Isabelle_(proof_assistant).
- Type_theory wikiPageWikiLink J._Roger_Hindley.
- Type_theory wikiPageWikiLink Joachim_Lambek.
- Type_theory wikiPageWikiLink John_Lane_Bell.
- Type_theory wikiPageWikiLink Judgment_(mathematical_logic).
- Type_theory wikiPageWikiLink Kleene–Rosser_paradox.
- Type_theory wikiPageWikiLink LEGO_(proof_assistant).
- Type_theory wikiPageWikiLink Lambda_calculus.
- Type_theory wikiPageWikiLink Lambda_cube.
- Type_theory wikiPageWikiLink Logic.
- Type_theory wikiPageWikiLink Logic_for_Computable_Functions.
- Type_theory wikiPageWikiLink Logical_framework.
- Type_theory wikiPageWikiLink Logical_levels.
- Type_theory wikiPageWikiLink ML_(programming_language).
- Type_theory wikiPageWikiLink Mathematical_logic.
- Type_theory wikiPageWikiLink Mathematics.
- Type_theory wikiPageWikiLink Matita.
- Type_theory wikiPageWikiLink Mizar_system.
- Type_theory wikiPageWikiLink Montague_grammar.
- Type_theory wikiPageWikiLink Naive_Set_Theory_(book).
- Type_theory wikiPageWikiLink Naive_set_theory.
- Type_theory wikiPageWikiLink Natural_language.
- Type_theory wikiPageWikiLink Normalization_property_(abstract_rewriting).
- Type_theory wikiPageWikiLink Nuprl.
- Type_theory wikiPageWikiLink Parametricity.
- Type_theory wikiPageWikiLink Paul_Halmos.
- Type_theory wikiPageWikiLink Per_Martin-Löf.
- Type_theory wikiPageWikiLink Pregroup_grammar.
- Type_theory wikiPageWikiLink Principia_Mathematica.
- Type_theory wikiPageWikiLink Programming_language.