English De Bruijn index Cited by user Mathnerd314159 on 18 Aug 2021 In mathematical logic, the De Bruijn index is a tool invented by the Dutch mathematician Nicolaas Govert de Bruijn for representing terms of lambda calculus without…