I&C Journal 1991 Journal Article
Telescopic mappings in typed lambda calculus
- N.G. de Bruijn
The paper develops notation for strings of abstractors in typed lambda calculus, and shows how to treat them more or less as single abstractors.
Author name cluster
N.G. de Bruijn
Possible papers associated with this exact author name in Arrow. This page groups case-insensitive exact name matches and is not a full identity disambiguation profile.
2 papers
1 author row
Possible papers
2TCS Journal 1984 Journal Article
Some machines defined by directed graphs
- N.G. de Bruijn
This paper considers sorting machines defined by directed graphs. There is a level of description where the operations depend on comparison of real numbers, and a more primitive one on which the operations are in terms of bits. It is shown how the bit processing machines can be transformed into the machines that process real numbers.