untyped-lambda-calculus topic
List
untyped-lambda-calculus
repositories
StepULC
15
Stars
1
Forks
Watchers
Efficient and single-steppable ULC evaluation algorithm
Bubbler-4
algorithm
interpreter
lambda-calculus
untyped-lambda-calculus