Updated 5 months ago
https://github.com/adamouization/lambda-calculus-proofs
Short proofs about using the Lambda-Calculus as a Programming Language (2017)
Updated 6 months ago
lambda_expression_evaluation
Comparison study between various methods of evaluation for untyped lambda expressions, with practical implementations available
Updated 6 months ago
dissertation-refactoring-spcf
SPCF: Interpreter Development and Affine Program Transformation Showcase