nLab Nicolaas de Bruijn

Nicolaas Govert (“Dick”) de Bruijn (1918-2012) was a Dutch mathematician, famous for his Automath project.

Selected writings

Introducing de Bruijn indices:

Introducing the notion of type telescopes:

On types (type theory) in mathematics:

Last revised on May 30, 2024 at 10:00:09. See the history of this page for a list of all contributions to it.