In mathematical logic, the de Bruijn index is a tool invented by the Dutch mathematician Nicolaas Govert de Bruijn for representing terms of lambda calculus...
13 KB (1,592 words) - 16:58, 15 August 2024
In combinatorial mathematics, a de Bruijn sequence of order n on a size-k alphabet A is a cyclic sequence in which every possible length-n string on A...
32 KB (3,517 words) - 03:20, 25 March 2024
Nicolaas Govert "Dick" de Bruijn (Dutch: [nikoːˈlaːs ˈxoːvərt də ˈbrœyn]; 9 July 1918 – 17 February 2012) was a Dutch mathematician, noted for his many...
8 KB (718 words) - 15:43, 26 August 2024
De Bruijn is a Dutch surname meaning "the brown". Notable people with the surname include: Adrianus Cornelis de Bruijn [de; nl] (1887–1968), Dutch politician...
2 KB (377 words) - 06:31, 27 December 2022
variables with their de Bruijn index, i.e., with their lexical offset (starting from 0): type term = IND of int (* de Bruijn index *) | ABS of term | APP...
18 KB (1,921 words) - 10:03, 22 September 2023
variables with the argument expression in the body of the abstraction. If De Bruijn indexing is used, then α-conversion is no longer required as there will be...
86 KB (11,552 words) - 04:59, 28 August 2024
functions (cf Boolos-Burgess-Jeffrey 2002:74-77). Association list De Bruijn index McCarthy 1960. Minsky (1967) does not include the identity operator...
9 KB (1,133 words) - 19:11, 29 January 2023
European Commissioner Nicolaas Govert de Bruijn, Dutch mathematician, known for De Bruijn graph and De Bruijn index Martinus Willem Beijerinck, Dutch microbiologist...
5 KB (623 words) - 18:09, 26 August 2024
machine in OCaml, representing lambda terms with de Bruijn indices: type term = IND of int (* de Bruijn index *) | ABS of term | APP of term * term Values...
16 KB (1,846 words) - 11:56, 9 July 2024
it on the top of the environment. This closure corresponds to the de Bruijn index 0 in the new environment. The transition Zero takes the first closure...
16 KB (1,897 words) - 11:57, 9 July 2024
substitution avoid variable names altogether by using a so-called "name-free" De Bruijn index notation. Explicit substitutions were sketched in the preface of Curry's...
5 KB (713 words) - 08:23, 1 August 2023
metalanguage for embedding object languages with name binding constructs. De Bruijn index Higher order abstract syntax Murdoch J. Gabbay and Andrew M. Pitts...
1 KB (114 words) - 21:07, 22 December 2021
are De Bruin, De Bruijn, and De Bruyn. People with this surname include: Kevin De Bruyne (born 1991), Belgian footballer Donatien de Bruyne (1871–1935)...
1 KB (180 words) - 13:59, 26 March 2023
Bruin (surname) (redirect from Bruijn)
patronymic as Bruin/Bruijn is a now rare Dutch form of Bruno. The form "the brown" (De Bruin, De Bruine, De Bruijn, De Bruyn and De Bruyne) is more common...
3 KB (338 words) - 11:37, 7 July 2023
assembler can then be used to create a de Bruijn graph, which can be used in various ways to find errors. In a de Bruijn graph, there is a possibility of 4^k...
14 KB (1,806 words) - 01:21, 26 December 2020
assembly methods is combining Bloom filters and de Bruijn graphs into a structure called a probabilistic de Bruijn graph, which optimizes memory usage at the...
13 KB (1,702 words) - 08:39, 12 December 2023
During earlier times, the prison had another remarkable function. Cornelis de Bruijn mentioned that when Pope Clement X died in 1796, all prisoners with heavy...
15 KB (1,568 words) - 15:24, 15 August 2024
S2CID 11321602. De Bruijn, Nicolaas Govert (1995), "On the roles of types in mathematics" (PDF), in Groote, Philippe de (ed.), De Groote 1995, pp. 27–54...
56 KB (6,174 words) - 01:56, 21 August 2024
Procurement". Qixin.com. Retrieved December 12, 2021. Eikelenboom, Siem; Bruijn, Annebelle de (September 8, 2021). "Omstreden studies van Erasmus MC-onderzoeker...
27 KB (2,294 words) - 08:41, 1 September 2024
Efteling (redirect from De Efteling)
(theatre, Sander de Bruijn) 2012 – Aquanura (Musical Fountain, WET) 2015 – Baron 1898 (dive coaster Bolliger & Mabillard, Sander de Bruijn) 2017 – Symbolica...
50 KB (3,985 words) - 21:45, 24 August 2024
Lyndon word (section Connection to de Bruijn sequences)
Lyndon words that have length dividing a given number n, the result is a de Bruijn sequence, a circular sequence of symbols such that each possible length-n...
21 KB (2,749 words) - 01:18, 7 August 2024
older Dutch it meant farmer Braam – Blackberry Brouwer – Brewer Bruin, de (Bruijn, de) – brown Buskirk, van – literally "bush church", or "church in the woods"...
7 KB (860 words) - 00:04, 15 May 2024
List of theorems (redirect from Index of theorems)
analysis) de Branges's theorem (complex analysis) de Bruijn's theorem (discrete geometry) De Bruijn–Erdős theorem (incidence geometry) De Bruijn–Erdős theorem...
73 KB (6,015 words) - 12:17, 2 August 2024
De Bruyn is a Dutch and Afrikaans surname. "Bruyn" or "bruijn" is an archaic spelling of "bruin", meaning "brown". People with the name include: Aad de...
2 KB (326 words) - 06:39, 1 June 2024
assembly, k-mers are used during the construction of De Bruijn graphs. In order to create a De Bruijn Graph, the k-mers stored in each edge with length L...
50 KB (6,078 words) - 19:16, 11 July 2024
Braun (category All set index articles)
German/Yiddish Braun Braune Brauner Other Germanic Bruin Bruun De Bruijn De Bruin De Bruyn De Bruyne Hungarian Barna Romance Brun Marron Castanho Moreno Castaño...
13 KB (1,697 words) - 04:17, 5 September 2024
Z-order curve (category Database index techniques)
Z-values of the x coordinates are described as binary numbers from the Moser–de Bruijn sequence, having nonzero bits only in their even positions: x[] = {0b000000...
20 KB (2,583 words) - 08:14, 2 September 2024
Moretti (surname) (category All set index articles)
German/Yiddish Braun Braune Brauner Other Germanic Bruin Bruun De Bruijn De Bruin De Bruyn De Bruyne Hungarian Barna Romance Brun Marron Castanho Moreno Castaño...
5 KB (614 words) - 21:20, 9 August 2024
Urbina, Walter de Gruyter, 2003 Ph Bloemhoff-de Bruijn, Anderhalve Eeuw Zwols Vocaalveranderingsprocessen in de periode 1838-1972. IJsselacademie (2012)....
27 KB (1,392 words) - 02:10, 18 August 2024
Algorithm C. An implementation of Knuth's algorithm in Pascal, by Han de Bruijn An implementation of Knuth's algorithm in Go, by Adrianus Warmenhoven...
2 KB (262 words) - 10:09, 9 January 2024