OCCAM-equivalent syntax with pure singleton descent structure | IEEE Conference Publication | IEEE Xplore