untyped-lambda-calculus topic

List untyped-lambda-calculus repositories

StepULC

15
Stars
1
Forks
Watchers

Efficient and single-steppable ULC evaluation algorithm

verified publisher icon Bubbler-4