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...

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...

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...

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...

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...

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...

functions (cf Boolos-Burgess-Jeffrey 2002:74-77). Association list De Bruijn index McCarthy 1960. Minsky (1967) does not include the identity operator...

European Commissioner Nicolaas Govert de Bruijn, Dutch mathematician, known for De Bruijn graph and De Bruijn index Martinus Willem Beijerinck, Dutch microbiologist...

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...

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...

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...

metalanguage for embedding object languages with name binding constructs. De Bruijn index Higher order abstract syntax Murdoch J. Gabbay and Andrew M. Pitts...

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)...

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...

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...

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...

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...

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...

Procurement". Qixin.com. Retrieved December 12, 2021. Eikelenboom, Siem; Bruijn, Annebelle de (September 8, 2021). "Omstreden studies van Erasmus MC-onderzoeker...

(theatre, Sander de Bruijn) 2012 – Aquanura (Musical Fountain, WET) 2015 – Baron 1898 (dive coaster Bolliger & Mabillard, Sander de Bruijn) 2017 – Symbolica...

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...

older Dutch it meant farmer Braam – Blackberry Brouwer – Brewer Bruin, de (Bruijn, de) – brown Buskirk, van – literally "bush church", or "church in the woods"...

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...

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...

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...

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...

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...

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...

Urbina, Walter de Gruyter, 2003 Ph Bloemhoff-de Bruijn, Anderhalve Eeuw Zwols Vocaalveranderingsprocessen in de periode 1838-1972. IJsselacademie (2012)....

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...