Formal Representation of Semantic Data Models in Type Theory | IEEE Conference Publication | IEEE Xplore