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

@@ Property / describes a project that uses @@
+Automath
@@ Property / describes a project that uses: Automath / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1016/j.indag.2013.09.004
+Normal rank
@@ Property / OpenAlex ID @@
+W2382659435
@@ Property / OpenAlex ID: W2382659435 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4023900
@@ Property / cites work: Q4023900 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2751370
@@ Property / cites work: Q2751370 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3077958
@@ Property / cites work: Q3077958 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4187337
@@ Property / cites work: Q4187337 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3250680
@@ Property / cites work: Q3250680 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4175528
@@ Property / cites work: Q4175528 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5610115
@@ Property / cites work: Q5610115 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3905309
@@ Property / cites work: Q3905309 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3782343
@@ Property / cites work: Q3782343 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4726268
@@ Property / cites work: Q4726268 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3905310
@@ Property / cites work: Q3905310 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2889489
@@ Property / cites work: Q2889489 / rank @@
+Normal rank
@@ Property / cites work @@
+N. G. de Bruijn (1918--2012) and his road to Automath, the earliest proof checker
+Normal rank
@@ Property / cites work @@
+Thirty-five years of automating mathematics. Dedicated to 35 years of de Bruijn's Automath
+Normal rank
@@ Property / cites work @@
+A modern perspective on type theory. From its origins until today
+Normal rank
@@ Property / cites work @@
+Selected papers on AUTOMATH, dedicated to N. G. de Bruijn
+Normal rank
@@ Property / cites work @@
+Lectures on the Curry-Howard isomorphism
@@ Property / cites work: Lectures on the Curry-Howard isomorphism / rank @@
+Normal rank