Publication | Open Access
An extension of the basic functionality theory for the $\lambda$-calculus.
274
Citations
4
References
1980
Year
EngineeringAutomated ReasoningType TheoryFunctional Programming LanguageFormal MethodsBasic Functionality TheoryComputer ScienceLambda CalculusFunctional Programming
| Year | Citations | |
|---|---|---|
Page 1
Page 1