An axiomatisation of computationally adequate domain theoretic models of FPC | IEEE Conference Publication | IEEE Xplore