Recursive variable type and order difference, its definition and basic properties | IEEE Conference Publication | IEEE Xplore