#deBruijn

N-gated Hacker Newsngate
2025-05-30

🤓💻 Oh goody, another article assuming we all have Ph.D.s in Lambda Calculus! 🙄 De Bruijn might be useful, but unless you're a sentient textbook, this read is a snooze. 💤✨
blueberrywren.dev/blog/debruij

2024-05-15
Darius J Chuckdjedr
2024-01-20

Exploring Simplified Lambda Calculus Notations

jevko.github.io/writing/2023-0

[N.G. de Bruijn 1972] introduced a way to eliminate names from the syntax of lambda calculus, making it much simpler and “easy to handle in metalingual discussion”.

[J. Tromp 2023] incorporated and expanded upon this idea in his Binary Lambda Calculus (BLC) syntax.

Boyd Stephen Smith Jr.BoydStephenSmithJr@hachyderm.io
2023-06-25

What's the goto for #GenericProgramming in #PureScript ? The prelude module (pursuit.purescript.org/package) doesn't seem to have any instances, so I'm guessing it is not much used?

Or, am I really expected to patch prelude for my `Generic Unit _` instance?

Just trying to `show` and `Scope` from `Bound` module. #Scope #Bound #deBruijn

2020-10-26

It Is What It Is (And Nothing Else) - existentialtype.wordpress.com/
Recursion r doesn't always require reentrancy r'
R' and not r need a stack
Data stack D implements α-equivalence w/ #deBruijn indices (stack slots); args are passed on D using activation records in way by #Dijkstra .

2020-10-26

It Is What It Is (And Nothing Else) - existentialtype.wordpress.com/
Recursion r doesn't always require reentrancy r'
R' and not r need a stack
Data stack D implements α-equivalence w/ #deBruijn indices (stack slots); args are passed on D using activation records in way by #Dijkstra .

Client Info

Server: https://mastodon.social
Version: 2025.07
Repository: https://github.com/cyevgeniy/lmst