Matches in DBpedia 2014 for { <http://dbpedia.org/resource/De_Bruijn_notation> ?p ?o. }
Showing items 1 to 14 of
14
with 100 items 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 wikiPageRevisionID "571716207".
- De_Bruijn_notation hasPhotoCollection De_Bruijn_notation.
- De_Bruijn_notation subject Category:Lambda_calculus.
- 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 label "ド・ブラン記法".
- 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=571716207.
- De_Bruijn_notation isPrimaryTopicOf De_Bruijn_notation.