Li-Gang Wu Lei Fan Cartesian Closed Categories of R-Posets. 139-144 2009 FCS conf/fcs/2009 db/conf/fcs/fcs2009.html#WuF09