Matches in DBpedia 2016-04 for { <http://dbpedia.org/resource/Type_rule> ?p ?o }
Showing triples 1 to 43 of
43
with 100 triples per page.
- Type_rule abstract "In type theory, a type rule is an inference rule that describes how a type system assigns a type to a syntactic construction. These rules may be applied by the type system to determine if a program is well typed and what type expressions have. A prototypical example of the use of type rules is in defining type inference in the simply typed lambda calculus, which is the internal language of Cartesian closed categories.".
- Type_rule wikiPageID "374851".
- Type_rule wikiPageLength "2808".
- Type_rule wikiPageOutDegree "22".
- Type_rule wikiPageRevisionID "700827482".
- Type_rule wikiPageWikiLink Cartesian_closed_category.
- Type_rule wikiPageWikiLink Categorical_logic.
- Type_rule wikiPageWikiLink Category:Data_types.
- Type_rule wikiPageWikiLink Category:Program_analysis.
- Type_rule wikiPageWikiLink Category:Type_theory.
- Type_rule wikiPageWikiLink Computer_program.
- Type_rule wikiPageWikiLink Curry–Howard_correspondence.
- Type_rule wikiPageWikiLink Expression_(computer_science).
- Type_rule wikiPageWikiLink Judgment_(mathematical_logic).
- Type_rule wikiPageWikiLink Natural_deduction.
- Type_rule wikiPageWikiLink Rule_of_inference.
- Type_rule wikiPageWikiLink Sequent.
- Type_rule wikiPageWikiLink Simply_typed_lambda_calculus.
- Type_rule wikiPageWikiLink Standard_ML.
- Type_rule wikiPageWikiLink Type_inference.
- Type_rule wikiPageWikiLink Type_system.
- Type_rule wikiPageWikiLink Type_theory.
- Type_rule wikiPageWikiLink Typing_environment.
- Type_rule wikiPageWikiLinkText "Type rule".
- Type_rule wikiPageWikiLinkText "type rule".
- Type_rule wikiPageWikiLinkText "typing rules".
- Type_rule wikiPageUsesTemplate Template:Type-theory-stub.
- Type_rule subject Category:Data_types.
- Type_rule subject Category:Program_analysis.
- Type_rule subject Category:Type_theory.
- Type_rule hypernym Rule.
- Type_rule type Country.
- Type_rule type Type.
- Type_rule type Method.
- Type_rule type Structure.
- Type_rule type Type.
- Type_rule comment "In type theory, a type rule is an inference rule that describes how a type system assigns a type to a syntactic construction. These rules may be applied by the type system to determine if a program is well typed and what type expressions have. A prototypical example of the use of type rules is in defining type inference in the simply typed lambda calculus, which is the internal language of Cartesian closed categories.".
- Type_rule label "Type rule".
- Type_rule sameAs Q7860911.
- Type_rule sameAs m.0h555zv.
- Type_rule sameAs Q7860911.
- Type_rule wasDerivedFrom Type_rule?oldid=700827482.
- Type_rule isPrimaryTopicOf Type_rule.