Questions tagged [hereditary-substitution]
Hereditary substitution is an algorithm that directly computes the canonical result of an ordinary substitution of one canonical form into another. (from Twelf)
0
questions with bounties
No questions found. Perhaps you'd like to select a different tab?