Lambda calculus
Lambda cube
SystemF: λ2 Dependent Type: Lambda-P Calculus of Constructions: λC
派生形
Linear λ-Calculus and Categorical ModelsRevisited
Reduction
About the efficient reduction of lambda terms
An Algorithm for Optimal Lambda Calculus Reduction
実装
Interpreter TS version Implementation of lambda calculus in JS
λ-calculusをコンパイルするには Bracket abstraction algorithms が使えるらしい
論文
Expressibility in the Lambda Calculus with µ Bunchless λ-calculus for Bunched Implications