Hereditary substitution is an algorithm that directly computes the canonical result of an ordinary substitution of one canonical form into another. (from Twelf)
References:
Twelf
Stats
|
created |
2 years, 3 months ago |
|
viewed |
4 times |
|
active |
2 years, 3 months ago |
|
editors |
1 |
