Closed dckc closed 3 years ago
A logic or type system is said to be decideable.
An expression language is more often said to be terminating, in my experience.
Technically there is probably an equivalence. So this is a matter of more common usage.
A logic or type system is said to be decideable.
An expression language is more often said to be terminating, in my experience.
Technically there is probably an equivalence. So this is a matter of more common usage.