Concepedia
Publication | Closed Access
Paths, computations and labels in the λ-calculus
36
Citations
7
References
1995
Year
Automated ReasoningLambda Calculus
Page 1