图形λ演算

图形λ演算是一种用图形表示λ演算的图灵完备形式化系统。它由艾伦·珀利斯和盖尔·萨克森于1956年发明。