Order-incompleteness and finite lambda models | IEEE Conference Publication | IEEE Xplore