A Dual View on Syntax
Summary
Marvin Borner presents a dual perspective on the lambda calculus syntax, contrasting standard variable-binding with a graph-based, wire-centric view. The piece introduces a polarized, three-view syntax, uses diagrams and examples like the K combinator, and outlines semantics and future directions in interacting net theory.