dynamic unification of terms, types, environments and contexts while
enjoying a well-conceived meta-theory, which includes the commonly
desired properties.<br>
dynamic unification of terms, types, environments and contexts while
enjoying a well-conceived meta-theory, which includes the commonly
desired properties.<br>