Publication | Closed Access
A unification algorithm for typed λ-calculus
507
Citations
8
References
1975
Year
EngineeringAutomated ReasoningType TheoryFormal MethodsUnification AlgorithmComputer ScienceLambda CalculusFormal Verification
| Year | Citations | |
|---|---|---|
Page 1
Page 1