Linear logic, domain theory and semi-functors