11:17
2026-08-17
text.marvinborner.de
artificial-intelligence
A Dual View on Syntax
A new blog post argues that the λ-calculus, typically introduced with variables and bindings, is better understood as a graph-based system where variables merely encode connections, and proposes a dua…