Bruijn is a programming that implement pure lambda calculus using De Bruijn Indexes. This article discuss the ideas behind the language, it’s implementation, and the properties of binary lambda calculus.
You must log in or register to comment.
Bruijn is a programming that implement pure lambda calculus using De Bruijn Indexes. This article discuss the ideas behind the language, it’s implementation, and the properties of binary lambda calculus.