nLab Nicolaas de Bruijn

Nicolaas Govert de Bruijn (known as Dick) was a Dutch mathematician, famous for the Automath project.

Selected writings

Introducing de Bruijn indices:

Introducing the notion of type telescopes:

Last revised on January 26, 2023 at 11:26:58. See the history of this page for a list of all contributions to it.