It should be noticed that interpretation of types is very different from
the interpretation of terms. The connection between the two is the soundness
theorem: the interpretation of term is in the interpretation of types.
Subscribe to:
Post Comments (Atom)
No comments:
Post a Comment