Obituary: Nicolaas Govert de Bruijn (1918--2012). Mathematician, computer scientist, logician

DOI10.1016/j.indag.2013.09.004zbMath1294.01051OpenAlexW2382659435MaRDI QIDQ740456

Jan Willem Klop

Publication date: 3 September 2014

Published in: Indagationes Mathematicae. New Series (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.indag.2013.09.004

Mathematics Subject Classification ID

Biographies, obituaries, personalia, bibliographies (01A70)

Uses Software

• Coq
• Automath

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Thirty-five years of automating mathematics. Dedicated to 35 years of de Bruijn's Automath
• Lectures on the Curry-Howard isomorphism
• Selected papers on AUTOMATH, dedicated to N. G. de Bruijn
• A modern perspective on type theory. From its origins until today
• N. G. de Bruijn (1918--2012) and his road to Automath, the earliest proof checker