Interactive λ-Reduction6 months ago#computation#categories#mathematicshttps://deltanets.org/Copy Link列举了各种主题或类别的示例。包括规范化与非规范化项目。涉及数学与计算概念，如图着色、λ演算和��网。提及不同级别或类型，如绝对级别、相对级别、线性(L)、仿射(A)、相关(I)、完全(K)。混合了抽象与具体项目，例如“0/0”和“GitHub”。