Linear types, approximation, and topology | IEEE Conference Publication | IEEE Xplore