Formal definition of concepts: value type, etc

No, not really.

3 Likes