De Bruijn notation

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
释义	De Bruijn notation 英语百科 De Bruijn notation 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.
随便看	taken up our residence taken up residence taken up the ball taken up the challenge taken up the cudgels for taken up the gauntlet taken up the glove taken up the hatchet taken up their cross taken up their crosses taken up their indentures taken up their quarters taken up their residence taken up the position taken up the position that taken up the slack taken up the tomahawk taken up the word taken up with taken up your cross taken up your crosses taken up your indentures taken up your quarters taken up your residence take nut