Nicolaas Govert (“Dick”) de Bruijn (1918-2012) was a Dutch mathematician, famous for his Automath project.
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.