Matches in DBpedia 2015-10 for { <http://dbpedia.org/resource/De_Bruijn_notation> ?p ?o }
Showing triples 1 to 42 of
42
with 100 triples per page.
- De_Bruijn_notation abstract "In mathematical logic, the De Bruijn notation is a syntax for terms in the λ calculus invented by the Dutch mathematician Nicolaas Govert de Bruijn. It can be seen as a reversal of the usual syntax for the λ calculus where the argument in an application is placed next to its corresponding binder in the function instead of after the latter's body.".
- De_Bruijn_notation wikiPageID "10317758".
- De_Bruijn_notation wikiPageLength "5134".
- De_Bruijn_notation wikiPageOutDegree "17".
- De_Bruijn_notation wikiPageRevisionID "607492054".
- De_Bruijn_notation wikiPageWikiLink Argument_(computer_science).
- De_Bruijn_notation wikiPageWikiLink Category:Lambda_calculus.
- De_Bruijn_notation wikiPageWikiLink Commutative_conversion.
- De_Bruijn_notation wikiPageWikiLink Explicit_substitution.
- De_Bruijn_notation wikiPageWikiLink Function_(mathematics).
- De_Bruijn_notation wikiPageWikiLink Lambda_calculus.
- De_Bruijn_notation wikiPageWikiLink Mathematical_logic.
- De_Bruijn_notation wikiPageWikiLink Mathematical_notation.
- De_Bruijn_notation wikiPageWikiLink Mathematician.
- De_Bruijn_notation wikiPageWikiLink Netherlands.
- De_Bruijn_notation wikiPageWikiLink Nicolaas_Govert_de_Bruijn.
- De_Bruijn_notation wikiPageWikiLink Parameter_(computer_programming).
- De_Bruijn_notation wikiPageWikiLink Permutative_conversion.
- De_Bruijn_notation wikiPageWikiLink Pure_type_system.
- De_Bruijn_notation wikiPageWikiLink Syntax_(logic).
- De_Bruijn_notation wikiPageWikiLink Type_checking.
- De_Bruijn_notation wikiPageWikiLink Type_system.
- De_Bruijn_notation wikiPageWikiLink Type_theory.
- De_Bruijn_notation wikiPageWikiLink Λ_calculus.
- De_Bruijn_notation wikiPageWikiLinkText "De Bruijn notation".
- De_Bruijn_notation wikiPageWikiLinkText "notation".
- De_Bruijn_notation hasPhotoCollection De_Bruijn_notation.
- De_Bruijn_notation wikiPageUsesTemplate Template:For.
- De_Bruijn_notation wikiPageUsesTemplate Template:Reflist.
- De_Bruijn_notation subject Category:Lambda_calculus.
- De_Bruijn_notation hypernym Syntax.
- De_Bruijn_notation type Model.
- De_Bruijn_notation type Software.
- De_Bruijn_notation type Model.
- De_Bruijn_notation comment "In mathematical logic, the De Bruijn notation is a syntax for terms in the λ calculus invented by the Dutch mathematician Nicolaas Govert de Bruijn. It can be seen as a reversal of the usual syntax for the λ calculus where the argument in an application is placed next to its corresponding binder in the function instead of after the latter's body.".
- De_Bruijn_notation label "De Bruijn notation".
- De_Bruijn_notation sameAs ド・ブラン記法.
- De_Bruijn_notation sameAs m.02q88c8.
- De_Bruijn_notation sameAs Q5244291.
- De_Bruijn_notation sameAs Q5244291.
- De_Bruijn_notation wasDerivedFrom De_Bruijn_notation?oldid=607492054.
- De_Bruijn_notation isPrimaryTopicOf De_Bruijn_notation.