Sekirov Dictionary
/
Practise
My words
Apps
Sign in
de Bruijn notation
noun
1
•
A
certain
syntax
for
terms
in
the
lambda
calculus
.
This dictionary works without the internet:
on your phone
·
in Chrome
