Matches in DBpedia 2015-10 for { <http://dbpedia.org/resource/Subject_reduction> ?p ?o }
Showing triples 1 to 31 of
31
with 100 triples per page.
- Subject_reduction abstract "In type theory, a type system has the property of subject reduction (also subject evaluation, type preservation or simply preservation) if evaluation of expressions does not cause their type to change. Formally, if Γ ⊢ e1 : τ and e1 → e2 then Γ ⊢ e2 : τ.Together with progress, it is an important meta-theoretical property for establishing type soundness of a type system.The opposite property, if Γ ⊢ e2 : τ and e1 → e2 then Γ ⊢ e1 : τ, is called subject expansion. It often does not hold as evaluation can erase ill-typed sub-terms of an expression, resulting in a well-typed one.".
- Subject_reduction wikiPageExternalLink summary?doi=10.1.1.44.5122.
- Subject_reduction wikiPageID "33471233".
- Subject_reduction wikiPageLength "1521".
- Subject_reduction wikiPageOutDegree "8".
- Subject_reduction wikiPageRevisionID "607170924".
- Subject_reduction wikiPageWikiLink Category:Type_theory.
- Subject_reduction wikiPageWikiLink Data_type.
- Subject_reduction wikiPageWikiLink Eval.
- Subject_reduction wikiPageWikiLink Evaluation_(computer_science).
- Subject_reduction wikiPageWikiLink Expression_(computer_science).
- Subject_reduction wikiPageWikiLink Information_and_Computation.
- Subject_reduction wikiPageWikiLink Progress_(type_theory).
- Subject_reduction wikiPageWikiLink Type_(computer_science).
- Subject_reduction wikiPageWikiLink Type_safety.
- Subject_reduction wikiPageWikiLink Type_soundness.
- Subject_reduction wikiPageWikiLink Type_theory.
- Subject_reduction wikiPageWikiLinkText "Subject reduction".
- Subject_reduction wikiPageWikiLinkText "subject reduction".
- Subject_reduction hasPhotoCollection Subject_reduction.
- Subject_reduction wikiPageUsesTemplate Template:Cite_book.
- Subject_reduction wikiPageUsesTemplate Template:Cite_journal.
- Subject_reduction wikiPageUsesTemplate Template:Type-theory-stub.
- Subject_reduction subject Category:Type_theory.
- Subject_reduction comment "In type theory, a type system has the property of subject reduction (also subject evaluation, type preservation or simply preservation) if evaluation of expressions does not cause their type to change. Formally, if Γ ⊢ e1 : τ and e1 → e2 then Γ ⊢ e2 : τ.Together with progress, it is an important meta-theoretical property for establishing type soundness of a type system.The opposite property, if Γ ⊢ e2 : τ and e1 → e2 then Γ ⊢ e1 : τ, is called subject expansion.".
- Subject_reduction label "Subject reduction".
- Subject_reduction sameAs m.0h94r6j.
- Subject_reduction sameAs Q7631400.
- Subject_reduction sameAs Q7631400.
- Subject_reduction wasDerivedFrom Subject_reduction?oldid=607170924.
- Subject_reduction isPrimaryTopicOf Subject_reduction.