Matches in DBpedia 2014 for { <http://dbpedia.org/resource/Type_theory> ?p ?o. }
Showing items 1 to 56 of
56
with 100 items per page.
- 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 λ-calculi and Per Martin-Löf's intuitionistic type theory.".
- Type_theory wikiPageExternalLink book.ps.gz.
- Type_theory wikiPageExternalLink cardelli97type.html.
- Type_theory wikiPageExternalLink types-list.
- Type_theory wikiPageExternalLink type-theory.
- 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 wikiPageRevisionID "605220795".
- Type_theory curator "Robert L. Constable".
- Type_theory hasPhotoCollection Type_theory.
- Type_theory title "Computational type theory".
- Type_theory urlname "Computational_type_theory".
- Type_theory subject Category:Systems_of_formal_logic.
- Type_theory subject Category:Type_theory.
- Type_theory type Ability105616246.
- Type_theory type Abstraction100002137.
- Type_theory type Cognition100023271.
- Type_theory type Know-how105616786.
- Type_theory type Logic105664069.
- Type_theory type Method105660268.
- Type_theory type PsychologicalFeature100023100.
- Type_theory type System105661996.
- Type_theory type SystemsOfFormalLogic.
- Type_theory comment "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.".
- Type_theory label "Teoria dei tipi".
- Type_theory label "Teoria dos tipos".
- Type_theory label "Teoría de tipos".
- Type_theory label "Théorie des types".
- Type_theory label "Type theory".
- Type_theory label "Typentheorie".
- Type_theory label "Typentheorie".
- Type_theory label "Теория типов".
- Type_theory label "نظرية النمط".
- Type_theory label "型理論".
- Type_theory label "类型论".
- Type_theory sameAs Typentheorie.
- Type_theory sameAs Θεωρία_τύπων.
- Type_theory sameAs Teoría_de_tipos.
- Type_theory sameAs Théorie_des_types.
- Type_theory sameAs Teoria_dei_tipi.
- Type_theory sameAs 型理論.
- Type_theory sameAs 형_이론.
- Type_theory sameAs Typentheorie.
- Type_theory sameAs Teoria_dos_tipos.
- Type_theory sameAs m.0b15c.
- Type_theory sameAs Q1056428.
- Type_theory sameAs Q1056428.
- Type_theory sameAs Type_theory.
- Type_theory wasDerivedFrom Type_theory?oldid=605220795.
- Type_theory isPrimaryTopicOf Type_theory.