Find link

language:

Find link is a tool written by Edward Betts.

searching for De Bruijn index 2 found (11 total)

CEK Machine (1,846 words) [view diff] exact match in snippet view article find links to article

representing lambda terms with de Bruijn indices: type term = IND of int (* de Bruijn index *) | ABS of term | APP of term * term Values are closures, as invented

Krivine machine (1,901 words) [view diff] exact match in snippet view article find links to article

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